Theorem sInf_mem_closure

Modification history