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