mathlib3
295d20e3 - feat(linear_algebra/multilinear): add notation

Commit

4 years ago

feat(linear_algebra/multilinear): add notation

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading