Theorem TopologicalSpace.Clopens.isClosed

Modification history