Mathlib Changelog
v4
Changelog
About
Github
Theorem
Nat.succ_mod_two_eq_one_iff
Modification history
2024-05-17 09:40
Mathlib/Algebra/Group/Nat.lean
chore: Delete `Data.Nat.Parity` (#12882) …
Modified
Nat.succ_mod_two_eq_one_iff
View on Github →
2023-11-14 18:47
Mathlib/Data/Nat/Parity.lean
feat: add 2-coloring of `pathGraph` and prove its chromatic number is 2 (#8166) …
Added
Nat.succ_mod_two_eq_one_iff
View on Github →