Def Polynomial.degreeLT

Modification history