Commit 2021-12-21 07:22 2ceda785
View on Github →feat(order/monovary): Monovariance of a pair of functions. (#10890)
f
monovaries with g
if g i < g j → f i ≤ f j
. f
antivaries with g
if g i < g j → f j ≤ f i
.
This is a way to talk about functions being monotone together, without needing an order on the index type.