The degrees of the children of a cell, weighted by their multiplicities `δ_j`, sum to the degree of the parent state.

Initializing...

The degrees of the children of a cell, weighted by their multiplicities `δ_j`, sum to the degree of the parent state. · Prove2Me