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