Theorem Cubic.eq_prod_three_roots

Modification history