Mathlib v3 is deprecated. Go to Mathlib v4

Theorem matrix.det_eq_of_forall_row_eq_smul_add_pred

Modification history