Theorem Polynomial.Monic.free_quotient

Modification history