Theorem Polynomial.lifts_iff_liftsRing

Modification history