Theorem Cubic.card_roots_of_discr_ne_zero

Modification history

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