Registry · Theorem VI.T43 tau-effective not_formalized

VI.T43 — Homochirality Universality

All persistence-sector entries inherit the same chirality from the unique polarity propagation path; every Distinction+SelfDesc carrier exhibits the same enantiomeric preference.

Book VI Part 2 Ch. 16

Dependency Graph

Depends on (6)

Lean Formalization

Module:

Symbol: