Theorem Cubic.discr_ne_zero_iff_roots_nodup

Modification history

2025-11-22 13:18
Mathlib/Algebra/CubicDiscriminant.lean
chore(Algebra): change two statements in CubicDiscriminant (#31912) …
Modified Cubic.discr_ne_zero_iff_roots_nodupView on Github →
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 →