Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.supported_equiv_mv_polynomial_symm_C

Modification history

2021-09-28 20:09

src/data/mv_polynomial/supported.lean

feat(data/mv_polynomial/supported): subalgebra of polynomials supported by a set of variables (#9183)

Added mv_polynomial.supported_equiv_mv_polynomial_symm_C View on Github →