Theorem Polynomial.mem_roots_sub_C

Modification history