Theorem Polynomial.base_mul_mem_lifts

Modification history