Def commGroupOfCyclicCenterQuotient

Modification history

2024-11-15 10:35

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

refactor(GroupTheory/SpecificGroups/Cyclic): Use variables (#19075) …

Modified commGroupOfCyclicCenterQuotient View on Github →

2024-09-10 11:35

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

docs(GroupTheory/SpecificGroups/Cyclic): change "Cycle" to "Cyclic" (#16605) …

Added commGroupOfCyclicCenterQuotient View on Github →