eval): add `protected` on some lemmas about `polynomial.map` (#13478)

Commit

3 years ago

feat(data/polynomial/eval): add `protected` on some lemmas about `polynomial.map` (#13478) These clash with global lemmas.

Author

astrainfinita

Parents