Theorem Polynomial.mul_mem_nthRootsFinset

Modification history