Theorem Polynomial.IsPrimitive.irreducible_of_irreducible_map_of_injective

Modification history