Def Matrix.compAddEquiv

Modification history

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