Theorem SModEq.sub_mem

Modification history