Theorem strictMonoOn_id

Modification history