Theorem Polynomial.mem_lifts_and_degree_eq

Modification history