Theorem equiv.perm.gpow_apply_eq_self_of_apply_eq_self
Modification history
2021-10-27 17:47
src/group_theory/perm/support.lean
refactor(*): rename fpow and gpow to zpow (#9989) …
Deleted equiv.perm.gpow_apply_eq_self_of_apply_eq_selfView on Github →