Theorem MvPolynomial.C_mem_pow_idealOfVars_iff

Modification history

2026-02-02 07:19
Mathlib/RingTheory/MvPolynomial/Ideal.lean
feat(RingTheory/MvPolynomial): powers of ideal of variables (#33539) …
Added MvPolynomial.C_mem_pow_idealOfVars_iffView on Github →