Registry · Definition VI.D73 tau-effective not_formalized

VI.D73 — Enantiomeric Excess at Refinement Level n

ee(n) = |[L]_n - [R]_n| / ([L]_n + [R]_n) at refinement level n; initial condition ee(0) ~ 10^{-17} from chirality seed.

Book VI Part 2 Ch. 16

Dependency Graph

Depends on (1)

VI.D72

Depended on by (2)

VI.T42 VI.P21

Lean Formalization

Module:

Symbol: