Theorem Matrix.det_zero_of_column_eq

Modification history