Theorem Set.monotoneOn_singleton

Modification history