Def Lean.Expr.traverseApp

Modification history

2022-06-19 14:35

Mathlib/Lean/Expr/Traverse.lean

chore: bump to 2022-06-19 (#288)

Deleted Lean.Expr.traverseApp View on Github →

2022-04-26 13:58

Mathlib/Lean/Expr/Traverse.lean

feat: more expr traversal functions (#263) …

Added Lean.Expr.traverseApp View on Github →