Theorem Polynomial.card_roots_sub_C'

Modification history