Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.length_to_list

Modification history

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