Theorem Polynomial.degree_eq_one_of_irreducible_of_root

Modification history