Mass of the type-`σ` box of a non-self (exit) cell: the divisor probability of the cell times the `σ`-coefficient of the product of the descended children laws, times the volume of the state set.

Initializing...

Mass of the type-`σ` box of a non-self (exit) cell: the divisor probability of the cell times the `σ`-coefficient of the product of the descended children laws, times the volume of the state set. · Prove2Me