Mathlib Changelog
v4
Changelog
About
Github
Theorem
ofNat_add
Modification history
2022-02-01 18:42
Mathlib/Algebra/Ring/Basic.lean
refactor: remove numeric (#177) …
Deleted
ofNat_add
View on Github →
2021-10-15 13:06
Mathlib/Algebra/Ring/Basic.lean
fix: remove zero diamond (#72)
Added
ofNat_add
View on Github →