Mathlib v3 is deprecated. Go to Mathlib v4

Theorem aeval_self_char_poly

Modification history