mathlib
0926f07a - feat(data/polynomial/eval): add some lemmas for `comp` (#14346)

Commit

3 years ago

feat(data/polynomial/eval): add some lemmas for `comp` (#14346)

Author

astrainfinita

astrainfinita

Parents

Loading