Theorem Polynomial.isRoot_of_mem_roots

Modification history