Commit 2021-07-08 09:27 03e2cbd0
View on Github →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.