Update a function on a set of values #
This file defines
Function.updateFinset, the operation that updates a function on a
(finite) set of values.
This is a very specific function used for
MeasureTheory.marginal, and possibly not that useful
for other purposes.
updateFinset x s y is the vector
x with the coordinates in
s changed to the values of