Theorem Polynomial.card_roots_X_pow_sub_C

Modification history