Commit 2023-03-19 15:06 a86f11bb

View on Github →

feat: Port Data.ZMod.Parity (#2893) Comments change only.

Estimated changes

Modified Mathlib.lean

Created Mathlib/Data/ZMod/Parity.lean

added theorem ZMod.eq_one_iff_odd

added theorem ZMod.eq_zero_iff_even

added theorem ZMod.ne_zero_iff_odd