Commit 2025-01-12 20:22 238352d9

View on Github →

feat(GroupTheory/SpecificGroups/Cyclic): Actions on cyclic groups factor through ZMod (#20359) This is a technical PR needed for the classification of Z-groups in #20358.

Estimated changes