mathlib

6f11155d - feat(algebra/cubic_discriminant): add nat degree and monic lemmas (#17780)