Theorem Subsemiring.le_topologicalClosure

Modification history