Def Lean.BinderInfo.brackets

Modification history

2022-04-26 13:58

Mathlib/Lean/Expr.lean

feat: more expr traversal functions (#263) …

Modified Lean.BinderInfo.brackets View on Github →

2021-12-09 16:23

Mathlib/Lean/Expr.lean

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

Added Lean.BinderInfo.brackets View on Github →