This repository was archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - feat(data/matrix/basic): add missing smul instances, generalize lemmas to work on scalar towers - #7544
Closed
eric-wieser wants to merge 6 commits into
Closed