Def Lean.Meta.mkOfNatLit

Modification history

2022-02-01 18:42

Mathlib/Tactic/NormNum.lean

refactor: remove numeric (#177) …

Deleted Lean.Meta.mkOfNatLit View on Github →

2021-05-13 20:13

Mathlib/Tactic/NormNum.lean

feat(Tactic/NormNum): basic normNum from zulip

Added Lean.Meta.mkOfNatLit View on Github →