Theorem finEquivZpowers_symm_apply
Modification history
2023-12-16 07:33
Mathlib/GroupTheory/OrderOfElement.lean
chore: `Nsmul` -> `NSMul`, `Zpow` -> `ZPow`, etc (#9067) …
Deleted finEquivZpowers_symm_applyView on Github →2023-11-27 16:21
Mathlib/GroupTheory/OrderOfElement.lean
feat: remove an assumption (#8646) …
Modified finEquivZpowers_symm_applyView on Github →