mathlib
bd709307 - feat(data/matrix/basic): use `⬝` as notation for all products

Commit

3 years ago

feat(data/matrix/basic): use `⬝` as notation for all products

References

eric-wieser/matrix-mul-notation

#15585 - feat(data/matrix/basic): use `⬝` as notation for all products

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading