Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.support_map_subset

Modification history

2022-06-03 10:31
src/data/polynomial/eval.lean
feat(data/polynomial/eval): reduce assumptions, add a lemma (#14391) …
Modified polynomial.support_map_subsetView on Github →
2022-04-13 22:15
src/data/polynomial/eval.lean
feat(data/polynomial/*): suggestions from the generalization linter (#13342)
Modified polynomial.support_map_subsetView on Github →
2022-02-08 12:43
src/data/polynomial/eval.lean
feat(*): localized `R[X]` notation for `polynomial R` (#11895) …
Modified polynomial.support_map_subsetView on Github →
2020-08-13 12:59
src/data/polynomial/eval.lean
feat(data/polynomial): adds map_comp (#3736) …
Added polynomial.support_map_subsetView on Github →