Theorem Polynomial.finite_setOf_isRoot

Modification history