Theorem MvPolynomial.coeffs_one

Modification history

2024-06-04 21:12
Mathlib/Algebra/MvPolynomial/Basic.lean
feat(RingTheory/MvPolynomial): add finset of coefficients (#12887) …
Added MvPolynomial.coeffs_oneView on Github →