Basic facts on a surface universe: `q ≥ 2` for every member and child, the state set has positive finite measure, and there are finitely many cells.

Initializing...

Basic facts on a surface universe: `q ≥ 2` for every member and child, the state set has positive finite measure, and there are finitely many cells. · Prove2Me