Theorem Polynomial.X_mem_lifts

Modification history