mathlib3
82d1e9f8 - feat(algebra/quadratic_discriminant): golf using `linear_combination` (#13210)

Commit

3 years ago

feat(algebra/quadratic_discriminant): golf using `linear_combination` (#13210)

Author

hrmacbeth

hrmacbeth

Parents

Loading