Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.exists_rename_eq_of_vars_subset_range

Modification history

2021-09-28 20:09
src/data/mv_polynomial/variables.lean
feat(data/mv_polynomial/supported): subalgebra of polynomials supported by a set of variables (#9183)
Added mv_polynomial.exists_rename_eq_of_vars_subset_rangeView on Github →