Theorem Polynomial.multiplicity_finite_of_degree_pos_of_monic

Modification history