Theorem MvPolynomial.coeffs_eq_empty_of_subsingleton

Modification history

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