Theorem Matrix.det_eq_zero_of_row_eq_zero

Modification history