Theorem Polynomial.mem_lifts

Modification history