Theorem ZMod.nontrivial_iff

Modification history

2024-02-15 20:02
Mathlib/Data/ZMod/Basic.lean
feat: Variant of structure theorem of finite abelian groups (#10587) …
Added ZMod.nontrivial_iffView on Github →