Theorem Polynomial.c_mem_lifts

Modification history