Theorem antivaryOn_iff_exists_monotoneOn_antitoneOn

Modification history

2024-12-20 12:30
Mathlib/Order/Monotone/MonovaryOrder.lean
feat: monovarying functions are simultaneously monotone (#20047) …
Added antivaryOn_iff_exists_monotoneOn_antitoneOnView on Github →