Def Cubic.discr

Modification history

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