Mathlib Changelog
v4
Changelog
About
Github
Theorem
antitone_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
antitone_dual_iff
View on Github →