Theorem Polynomial.C_mem_lifts

Modification history