Registry · Proposition VI.P18 tau-effective planned

VI.P18 — Development as Controlled Differentiation

Animal development = sequence of controlled differentiations: D₀→D_germ→D_organ→D_tissue→D_cell-type; ω-germ code unchanged throughout.

Book VI Part 6 Ch. 35

Dependency Graph

Depends on (3)

VI.D04 VI.D08 VI.D48

Depended on by (1)

VI.T48

Lean Formalization

Module:

Symbol: