Theorem supClosed_supClosure

Modification history