Def Polynomial.liftsRing

Modification history