Theorem CofiniteTopology.isClosed_iff

Modification history