Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.prod_map_neg

Modification history

2022-08-20 08:58
src/algebra/big_operators/multiset.lean
feat(ring_theory/polynomial): Vieta's formula in terms of `polynomial.roots` (#14908) …
Added multiset.prod_map_negView on Github →