Theorem Cubic.disc_ne_zero_iff_roots_nodup

Modification history