Theorem OfNat.ofNat_eq_ofNat

Modification history

2023-02-20 08:33
Mathlib/Algebra/CharZero/Defs.lean
feat: simplify equality of nat literals (#2389) …
Added OfNat.ofNat_eq_ofNatView on Github →