Theorem AlgHom.mulLeftRightMatrix.inv_comp

Modification history

2025-02-14 21:47
Mathlib/Algebra/Azumaya/Matrix.lean
chore: tidy various files (#21872)
Added AlgHom.mulLeftRightMatrix.inv_compView on Github →