Def reorderLastArguments

Modification history

2022-03-29 16:40
test/Expr.lean
feat: `replaceRec` (#129) …
Added reorderLastArgumentsView on Github →