Mathlib Changelog
v4
Changelog
About
Github
Theorem
Nat.add_one_pos
Modification history
2024-07-01 02:54
Mathlib/Init/Data/Nat/Basic.lean
chore: move toolchain to v4.10.0-rc1 and merge bump/v4.10.0 (#14311)
Deleted
Nat.add_one_pos
View on Github →
2024-05-01 16:10
Mathlib/Init/Data/Nat/Basic.lean
chore: adaptations to lean 4.8.0 (#12578)
Added
Nat.add_one_pos
View on Github →