Theorem Cubic.b_eq_three_roots

Modification history