Theorem strictMono_restrict

Modification history