Theorem monotone_on_dual_iff

Modification history

2023-11-15 20:16
Mathlib/Order/Monotone/Basic.lean
chore: tidy various files (#8409)
Deleted monotone_on_dual_iffView on Github →
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_on_dual_iffView on Github →