Theorem Polynomial.card_roots_sub_C

Modification history