Mathlib v3 is deprecated. Go to Mathlib v4

Theorem matrix.mv_polynomial_X_map_matrix_aeval

Modification history