The immediate exit event of type `σ` has mass equal to the `σ`-coefficient of the exit law times the volume of the state set;

Initializing...

The immediate exit event of type `σ` has mass equal to the `σ`-coefficient of the exit law times the volume of the state set; · Prove2Me