Def Matrix.comp

Modification history

2024-07-17 09:11
Mathlib/Data/Matrix/Composition.lean
feat: matrices of matrices (#14512) …
Added Matrix.compView on Github →