Theorem Matrix.det_eq_of_forall_row_eq_smul_add_pred_aux

Modification history