mathlib3
0f4d0ae4 - feat(data/polynomial/identities): golf using `linear_combination` (#13212)

Commit

3 years ago

feat(data/polynomial/identities): golf using `linear_combination` (#13212)

Author

hrmacbeth

hrmacbeth

Parents

Loading