mathlib
dea8bd4b - feat(*/multilinear): more material (#2197)

Commit
5 years ago
feat(*/multilinear): more material (#2197) * feat(*/multilinear): more material * improvements * docstring * elaboration strategy * remove begin ... end * fix build * linter Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Author
Parents
Loading