Theorem subset_supClosure

Modification history