Registry · Theorem VI.T22 tau-effective planned

VI.T22 — Codon Degeneracy as Error Correction

Standard code in top 0.01% of random codes for error minimization; 1.68 bits/codon redundancy; wobble position absorbs most mutations.

Book VI Part 4 Ch. 27

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: