Theorem Set.strictMonoOn_singleton

Modification history