Def Lean.Expr.modifyAppArg

Modification history