Theorem Polynomial.smul_mem_lifts

Modification history