Def Matrix.compAlgEquiv

Modification history

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