Theorem Set.not_monotoneOn_not_antitoneOn_iff_exists_lt_lt

Modification history