Theorem Polynomial.mem_lifts_iff_mem_alg

Modification history