Theorem ZMod.eq_one_iff_odd

Modification history

2024-09-30 02:32
Mathlib/Data/ZMod/Basic.lean
chore(Data/ZMod/Parity): Delete (#17236) …
Modified ZMod.eq_one_iff_oddView on Github →
2023-03-19 15:06
Mathlib/Data/ZMod/Parity.lean
feat: Port Data.ZMod.Parity (#2893) …
Added ZMod.eq_one_iff_oddView on Github →