Def Matrix.compLinearEquiv

Modification history

2025-12-28 17:51
Mathlib/Data/Matrix/Composition.lean
feat(Algebra): stably finite rings (#32262) …
Modified Matrix.compLinearEquivView on Github →
2024-07-17 09:11
Mathlib/Data/Matrix/Composition.lean
feat: matrices of matrices (#14512) …
Added Matrix.compLinearEquivView on Github →