Def commGroupOfCyclicCenterQuotient

Modification history

2024-09-10 11:35

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

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

Added commGroupOfCyclicCenterQuotient View on Github →