Theorem Nat.ofNat_eq_Nat

Modification history

2022-02-01 18:42
Mathlib/Algebra/Ring/Basic.lean
refactor: remove numeric (#177) …
Deleted Nat.ofNat_eq_NatView on Github →
2021-09-24 22:20
Mathlib/Algebra/Ring/Basic.lean
refactor(Tactic/NormNum): change to isNat function (#49)
Modified Nat.ofNat_eq_NatView on Github →
2021-08-16 20:42
Mathlib/Algebra/Ring/Basic.lean
ring tactic (#33) …
Added Nat.ofNat_eq_NatView on Github →