Theorem monotone_dual_iff

Modification history

2023-07-31 21:41
Mathlib/Order/Monotone/Basic.lean
feat(Order/Monotone/Basic): Add Monotone.dual_iff and Antitone.dual_iff (#6157) …
Added monotone_dual_iffView on Github →