Registry · Theorem IV.T282 tau-effective not_formalized

IV.T282 — Generations from Lemniscate Sectors

Each generation maps to a sector of L:

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (2)

IV.D01 IV.D254