Commit 2020-04-04 17:59 dea8bd4b
View on Github →feat(*/multilinear): more material (#2197)
- feat(*/multilinear): more material
- improvements
- docstring
- elaboration strategy
- remove begin ... end
- fix build
- linter
feat(*/multilinear): more material (#2197)