Def Lean.Expr.modifyRevArg

Modification history