Commit 2025-02-03 11:03 35279e83

View on Github →

feature(Order/Monotone/Basic): Separately monotone iff jointly monotone (#20254) A function on a product space is separately monotone if and only if it is jointly monotone. Similarly for antitone functions. Inspired by #15412

Estimated changes