feat(GroupTheory/SpecificGroups/Cyclic): comparison and index of subgroups generated by powers - #42754

feat(GroupTheory/SpecificGroups/Cyclic): comparison and index of subgroups generated by powers#42754

xroblot wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

xroblot:zpowers-index-apixroblot/mathlib4:zpowers-index-apiCopy head branch name to clipboard