Theorem supClosure_mono

Modification history