Theorem AlgHom.mulLeftRightMatrix.inv_comp:

Modification history

2025-02-14 21:47
Mathlib/Algebra/Azumaya/Matrix.lean
chore: tidy various files (#21872)
Deleted AlgHom.mulLeftRightMatrix.inv_comp:View on Github →
2025-02-07 20:57
Mathlib/Algebra/Azumaya/Matrix.lean
feat(Mathlib/Algebra/Azumaya/Basic): More on azumaya (#21446) …
Added AlgHom.mulLeftRightMatrix.inv_comp:View on Github →