Theorem strictMono_id

Modification history