Theorem Polynomial.Monic.isRegular

Modification history