Theorem Polynomial.IsPrimitive.isUnit_iff_isUnit_map_of_injective

Modification history