Theorem Compactum.isClosed_iff

Modification history