Commit 2022-06-20 13:49 f855a4ba
View on Github →feat(order/monotone): Monotonicity of prod.map
(#14843)
If f
and g
are monotone/antitone, then prod.map f g
is as well.
feat(order/monotone): Monotonicity of prod.map
(#14843)
If f
and g
are monotone/antitone, then prod.map f g
is as well.