mathlib3

feat(algebra/cubic_discriminant): remove custom `cubic` structure and replace by API about new `to_poly`

#15088

Open