Registry · Proposition IV.P358 tau-effective not_formalized

IV.P358 — Saturation Principle for Rung Transitions

Rung transitions on the donut ladder (Definition def:iv-donut-ladder-ternary) are governed by: enumerate Fusion...

Book IV Part 5 Ch. 38

Dependency Graph

Depends on (1)