Content stub — prose, diagrams, and Lean 4 exercises to be written.
This week covers: G(Γ*) = Γ*. τ = 2 as the unique attracting fixed point. chT-tubulin.html: tubulin contact geometry reaches τ. Biological meaning.
Primary chapter references from book/: chT-tubulin.html
-- dm³ 103 · Week 13 · Lean 4 Lab -- Operator: τ (= 2 Embodiment Threshold) -- TODO: fill in theorems and exercises -- stub example : True := trivial