Theorem supClosure_singleton

Modification history