Theorem Cubic.c_eq_three_roots

Modification history