Theorem Polynomial.count_roots

Modification history