mathlib
6a1a9f89 - refactor(data/matrix/basic): make matrix a structure

Commit

2 years ago

refactor(data/matrix/basic): make matrix a structure

References

eric-wieser/matrix-structure

Author

eric-wieser

eric-wieser

Parents

Loading