Theorem mem_upperClosure

Modification history