Commit 2025-12-14 15:40 fcf037de

feat: extend Stieltjes measures to more general index types (#32482) Stieltjes measures are currently only defined on the real line. We extend the definition to more general index sets, to allow for instance the nonnegative reals or compact intervals. Some proofs become more cumbersome because we have to deal with the possibility of a bottom or a top element, but the end results are exactly the same as on the real line.