Theorem Matrix.det_eq_of_forall_row_eq_smul_add_pred

Modification history