Theorem Matrix.Nondegenerate.smul_iff

Modification history