Theorem supClosure_closed

Modification history