Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mat_poly_equiv_eq_X_pow_sub_C

Modification history

2021-04-06 01:49
src/linear_algebra/char_poly/coeff.lean
chore(algebra/char_p/basic): uniformise notation and weaken some assumptions (#6765) …
Added mat_poly_equiv_eq_X_pow_sub_CView on Github →