Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.support_map_of_injective

Modification history

2022-06-03 10:31

src/data/polynomial/eval.lean

feat(data/polynomial/eval): reduce assumptions, add a lemma (#14391) …

Added polynomial.support_map_of_injective View on Github →