Theorem ofNat_one

Modification history

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