Theorem Cubic.discr_eq_prod_three_roots

Modification history

2025-10-20 10:08
Mathlib/Algebra/CubicDiscriminant.lean
chore: change `disc` to `discr` to denote the discriminant (#30709) …
Added Cubic.discr_eq_prod_three_rootsView on Github →