Theorem Polynomial.exists_primitive_lcm_of_isPrimitive

Modification history