Theorem subset_infClosure

Modification history