Mathlib v3 is deprecated. Go to Mathlib v4

Theorem matrix.mv_polynomial_X_map_matrix_eval

Modification history