Theorem Cubic.d_eq_three_roots

Modification history