mathlib3
010f09e7 - feat(data/polynomial/taylor): add `taylor_alg_hom` (#13477)

Commit

3 years ago

feat(data/polynomial/taylor): add `taylor_alg_hom` (#13477)

Author

astrainfinita

astrainfinita

Parents

Loading