Theorem Lean.Meta.NormNum.ofNat_add

Modification history

2021-09-24 22:20

Mathlib/Tactic/NormNum.lean

refactor(Tactic/NormNum): change to isNat function (#49)

Deleted Lean.Meta.NormNum.ofNat_add View on Github →

2021-05-13 20:13

Mathlib/Tactic/NormNum.lean

feat(Tactic/NormNum): basic normNum from zulip

Added Lean.Meta.NormNum.ofNat_add View on Github →