Theorem SModEq.mono

Modification history