Theorem Lean.Meta.NormNum.isNat_cast

Modification history

2022-10-13 02:35
Mathlib/Tactic/NormNum.lean
feat: add simp frontend for norm_num (#451) …
Deleted Lean.Meta.NormNum.isNat_castView on Github →
2022-07-11 12:59
Mathlib/Tactic/NormNum.lean
chore: bump to nightly-2022-07-11 (#300)
Added Lean.Meta.NormNum.isNat_castView on Github →