Theorem Polynomial.le_natDegree_of_mem_supp

Modification history