Theorem Polynomial.degree_pos_of_root

Modification history