Theorem Algebra.Norm.Transitivity.mul_auxMat_corner

Modification history