Theorem Polynomial.x_mem_lifts

Modification history