Theorem Polynomial.Monic.isPrimitive

Modification history