Theorem Polynomial.isRegular_X

Modification history