Commit 2023-07-31 21:41 c02f4f8d

View on Github →

feat(Order/Monotone/Basic): Add Monotone.dual_iff and Antitone.dual_iff (#6157) Add if and only if versions of Monotone.dual and Antitone.dual. Needed for #5672

Estimated changes

added theorem antitone_dual_iff
added theorem antitone_on_dual_iff
added theorem monotone_dual_iff
added theorem monotone_on_dual_iff
added theorem strict_anti_dual_iff
added theorem strict_mono_dual_iff