Theorem IsCyclic.ext

Modification history

2024-11-18 09:35

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

refactor(GroupTheory/SpecificGroups/Cyclic): Switch from `Fintype` to `Finite` (#19109) …

Modified IsCyclic.ext View on Github →

2024-11-15 10:35

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

refactor(GroupTheory/SpecificGroups/Cyclic): Use variables (#19075) …

Modified IsCyclic.ext View on Github →

2024-03-01 08:46

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

feat(GroupTheory/SpecificGroups/Cyclic): unique_zpow_zmod (#11016) …

Added IsCyclic.ext View on Github →