Def Lean.Expr.modifyAppArgM

Modification history

2024-07-19 05:13

Mathlib/Lean/Expr/Basic.lean

chore(Mathlib/Lean): remove use of autoImplicit (#14884) …

Modified Lean.Expr.modifyAppArgM View on Github →

2022-04-26 13:58

Mathlib/Lean/Expr/Basic.lean

feat: more expr traversal functions (#263) …

Added Lean.Expr.modifyAppArgM View on Github →