Theorem AlgHom.mulLeftRightMatrix.comp_inv:

Modification history