Commit 2024-03-01 08:46 7455834f

View on Github →

feat(GroupTheory/SpecificGroups/Cyclic): unique_zpow_zmod (#11016) Suggested in #6342 .

Estimated changes

added theorem IsCyclic.ext