Reference · Non-negative rationals

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

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

Publicly named finite-sum scaling bridge for contraction proofs.

Depends onmath.rational.nnrat.map-sum-scale