Theorem Polynomial.x_pow_mem_lifts

Modification history