Theorem subset_upperClosure

Modification history