Theorem Cubic.splits_iff_card_roots

Modification history