Def MvPolynomial.restrictSupportIdeal

Modification history

2026-02-02 07:19

Mathlib/RingTheory/MvPolynomial/Basic.lean

feat(RingTheory/MvPolynomial): powers of ideal of variables (#33539) …

Added MvPolynomial.restrictSupportIdeal View on Github →