Theorem Polynomial.degreeLT_mono

Modification history