Registry · Theorem VI.T47 tau-effective not_formalized

VI.T47 — Differentiation Is Irreversible

Under normal conditions, descent through Waddington landscape is irreversible; SelfDesc maintenance (DNMT1, histone propagation) preserves restriction but does not reverse it.

Book VI Part 6 Ch. 35

Dependency Graph

Depends on (3)

VI.D78 VI.D81 VI.D83

Lean Formalization

Module:

Symbol: