Theorem ZMod.val_two_eq_two_mod

Modification history

2025-01-20 17:23

Mathlib/Data/ZMod/Basic.lean

feat(GroupTheory/SpecificGroups): dihedral groups are not cyclic (with one exception) (#20817)

Added ZMod.val_two_eq_two_mod View on Github →