Theorem Cubic.eq_sum_three_roots

Modification history