Theorem supClosed_singleton

Modification history