Def Matrix.compRingEquiv

Modification history

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