Theorem supClosure_min

Modification history