Def mulEquivOfOrderOfEq

Modification history

2026-04-17 16:37

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

chore: remove some backward.proofsInPublic (#38156)

Modified mulEquivOfOrderOfEq View on Github →

2024-06-01 05:50

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

feat(GroupTheory/SpecificGroups/Cyclic): add material on groups with given generator (#13423) …

Added mulEquivOfOrderOfEq View on Github →