Theorem Cubic.splits_iff_roots_eq_three

Modification history