Theorem ofNat_eq_ofNat

Modification history

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