Theorem supClosure_univ

Modification history