Theorem Polynomial.monomial_mem_lifts_and_degree_eq

Modification history