Def ZMod.AddAutEquivUnits

Modification history

2026-05-27 15:09

Mathlib/Data/ZMod/Aut.lean

refactor(GroupTheory/*): additivize `AddAut` (#39884) …

Modified ZMod.AddAutEquivUnits View on Github →

2024-11-28 14:24

Mathlib/Data/ZMod/Aut.lean

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

Added ZMod.AddAutEquivUnits View on Github →