Theorem Polynomial.mem_degreeLT

Modification history