Theorem polynomialFunctions.starClosure_topologicalClosure

Modification history