Theorem Cubic.discr_ne_zero_iff_roots_nodup

Modification history

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