The `σ`-coefficient of the product of the descended children laws of an exit cell is nonnegative.

Initializing...

The `σ`-coefficient of the product of the descended children laws of an exit cell is nonnegative. · Prove2Me