Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.prod_map_neg

Modification history

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