Theorem Cubic.card_roots_of_disc_ne_zero

Modification history