Theorem Polynomial.card_nthRoots

Modification history