Registry · Theorem VI.T41 tau-effective not_formalized

VI.T41 — Propagation Preserves Chirality

If chirality seed has definite sign and Parity Bridge path is unique, polarity propagation maps left-handed input to definite polarity sign in 2_tau.

Book VI Part 2 Ch. 16

Dependency Graph

Depends on (4)

VI.D71 VI.D72 VI.T01 VI.L01

Depended on by (2)

VI.T42 VI.T43

Lean Formalization

Module:

Symbol: