mathlib
874dde52 - feat(data/polynomial/eval): generalize smul lemmas (#13479)

Commit

3 years ago

feat(data/polynomial/eval): generalize smul lemmas (#13479)

Author

astrainfinita

astrainfinita

Parents

Loading