Theorem Matrix.Nondegenerate.mul_iff_right

Modification history