mathlib

03e2cbd0 - chore(group_theory/perm/support): support_pow_le over nat (#8225)

chore(group_theory/perm/support): support_pow_le over nat (#8225) Previously, both `support_pow_le` and `support_gpow_le` had the power as an `int`. Now we properly differentiate the two and avoid slow defeq checks.