Theorem Polynomial.Monic.nextCoeff_multiset_prod

Modification history