Mathlib v3 is deprecated. Go to Mathlib v4

Theorem cubic.splits_iff_roots_eq_three

Modification history