Registry · Proposition VI.P21 tau-effective not_formalized

VI.P21 — Monotone Convergence of Enantiomeric Excess

Sequence {ee(n)} is monotonically increasing with limit 1; regression prevented by Hodge stabilization (barrier >> k_BT) and Poincare topological lock-in on L.

Book VI Part 2 Ch. 16

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module:

Symbol: