Theorem Polynomial.roots_list_prod

Modification history