Theorem Polynomial.mem_lift_of_splits_of_roots_mem_range

Modification history