Commit 2022-06-03 10:31 d2dcb74a
View on Github →feat(data/polynomial/eval): reduce assumptions, add a lemma (#14391)
Note that there is a lemma mv_polynomial.support_map_of_injective.
feat(data/polynomial/eval): reduce assumptions, add a lemma (#14391)
Note that there is a lemma mv_polynomial.support_map_of_injective.