Theorem Polynomial.Monic.finite_quotient

Modification history