Registry · Proposition VI.P22 tau-effective not_formalized

VI.P22 — Cell Fate as Fixed Point

Terminal differentiation is a fixed point of evaluator dynamics; SelfDesc closure restores partition after small deviations; evaluator applied to state reproduces the state.

Book VI Part 6 Ch. 35

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: