Commit 2024-09-10 11:35 c1d27f1c
View on Github →docs(GroupTheory/SpecificGroups/Cyclic): change "Cycle" to "Cyclic" (#16605) Two declaration about cyclic groups had "cycle" in their name. This PR rename them.
docs(GroupTheory/SpecificGroups/Cyclic): change "Cycle" to "Cyclic" (#16605) Two declaration about cyclic groups had "cycle" in their name. This PR rename them.