Def reorderLastArguments

Modification history

2026-02-02 23:29
MathlibTest/Expr.lean
chore: deprecate `memoFix` and `replaceRec` (#34384) …
Deleted reorderLastArgumentsView on Github →
2022-03-29 16:40
test/Expr.lean
feat: `replaceRec` (#129) …
Added reorderLastArgumentsView on Github →