Theorem Polynomial.IsPrimitive.isUnit_iff_isUnit_map

Modification history