Theorem Algebra.Norm.Transitivity.auxMat_toSquareBlock_ne

Modification history