Registry · Definition VII.D75 tau-effective not_applicable

VII.D75 — Register-Enrichment Correspondence

E/P/D/C registers map to E₀/E₁/E₂/E₃ enrichment layers; Kant's heroic restraint left the D socket empty; τ completes it.

Book VII Part 7 Ch. 93

Lean Formalization

Module:

Symbol: