Theorem Finsupp.multinomial_of_support_subset

Modification history

2026-03-27 13:44
Mathlib/Data/Nat/Choose/Multinomial.lean
feat(Algebra/MvPolynomial/Coeff): add lemmas (#36444) …
Added Finsupp.multinomial_of_support_subsetView on Github →