Theorem Polynomial.erase_mem_lifts

Modification history