Def Lean.Expr.natLit!

Modification history

2023-12-17 17:55

Mathlib/Lean/Expr/Basic.lean

chore: bump Std dependency to leanprover/std4#432 (#9094) …

Deleted Lean.Expr.natLit!View on Github →

2022-04-26 13:58

Mathlib/Lean/Expr.lean

feat: more expr traversal functions (#263) …

Modified Lean.Expr.natLit!View on Github →

2021-12-09 16:23

Mathlib/Lean/Expr.lean

feat(*): some auxiliary definitions for toAdditive (#112) …

Modified Lean.Expr.natLit!View on Github →

2021-08-18 00:45

Mathlib/Tactic/Core.lean

fix(Tactic/NormNum): fix normNum bug …

Added Lean.Expr.natLit!View on Github →