Theorem polynomialFunctions.topologicalClosure

Modification history