eval): reduce assumptions, add a lemma (#14391)

Commit

3 years ago

feat(data/polynomial/eval): reduce assumptions, add a lemma (#14391) Note that there is a lemma `mv_polynomial.support_map_of_injective`.

Author

astrainfinita

Parents