Theorem isClosed_singleton

Modification history