Theorem AlgHom.mulLeftRightMatrix.comp_inv

Modification history

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