Reference · Non-negative rationals

rainbow.math.rational.nnrat.weighted-sum-bound

Non-negative rationalssrc/rainbow/math/rational/nnrat/weighted_sum_bound.clj0 definitions, 0 theorems

Finite-list lift of weighted-term monotonicity.

Depends onmath.finite.bellman-monotonemath.rational.nnrat.weighted-term-bound