Theorem monotoneOn_dual_iff

Modification history

2023-11-15 20:16
Mathlib/Order/Monotone/Basic.lean
chore: tidy various files (#8409)
Added monotoneOn_dual_iffView on Github →