Mathlib v3 is deprecated. Go to Mathlib v4

Theorem det_eq_sign_char_poly_coeff

Modification history