Registry · Theorem VI.T42 tau-effective not_formalized

VI.T42 — Stereochemical Selection

SelfDesc closure amplifies chirality seed exponentially; each refinement increases ee by multiplicative gain g > 1; ee(n) converges monotonically to 1.

Book VI Part 2 Ch. 16

Dependency Graph

Depends on (6)

VI.D71 VI.D72 VI.D73 VI.T41 VI.L14 VI.T03

Depended on by (2)

VI.P21 VI.T43

Lean Formalization

Module:

Symbol: