mathlib
dfcf4aa2 - refactor(data/matrix/basic): Remove matrix.scalar

Commit

4 years ago

refactor(data/matrix/basic): Remove matrix.scalar

References

#8516 - refactor(data/matrix/basic): Remove matrix.scalar

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading