Commit 2025-02-15 16:50 30c5ffa3

View on Github →

chore: make MeasurableSpace arguments implicit (#21907) This allows us to use Measure.bind for measures defined on a sub-sigma-algebra.

Estimated changes