Registry · Proposition IV.P320 tau-effective not_formalized

IV.P320 — Boundary Mode Census

The lemniscate L = S^1 S^1 supports exactly 15 boundary modes: one per generator pair on each lobe (5 3 = 15, three...

Book IV Part 1 Ch. 10

Dependency Graph

Depends on (2)