mathlib3
c7006ab9 - make `enum_of_fin_card` take an ordering as args

Commit

3 years ago

make `enum_of_fin_card` take an ordering as args

References

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

Author

alreadydone

alreadydone

Parents

Loading