Theorem IsCyclic.card_mulAut

Modification history

2024-11-28 14:24

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

feat(GroupTheory/SpecificGroups/Cyclic): Cardinality of automorphism group (#19180) …

Added IsCyclic.card_mulAut View on Github →