Theorem Matrix.det_eq_of_forall_col_eq_smul_add_pred

Modification history