Commit 2020-02-21 02:50 888e75b5
View on Github →refactor(*/multilinear): better right curryfication (#1985)
- feat(data/fin): append
- Update fin.lean
- Update fintype.lean
- replace but_last with init
- cons and append commute
- feat(*/multilinear): better multilinear
- docstrings
- snoc
- fix build
- comp_snoc and friends
- fix docstring
- typo