**Root cell law at a universe member.** Let `i` be a member of a surface universe satisfying the termination hypotheses, whose state is the single state `(1, r)` and whose measure is the pushforward o

Initializing...

**Root cell law at a universe member.** Let `i` be a member of a surface universe satisfying the termination hypotheses, whose state is the single state `(1, r)` and whose measure is the pushforward o · Prove2Me