At `single a c`, the event of returning `k` times has mass `λᵏ · vol`, with `λ` the return weight, and is measurable.

Initializing...

At `single a c`, the event of returning `k` times has mass `λᵏ · vol`, with `λ` the return weight, and is measurable. · Prove2Me