Registry · Definition VI.D79 tau-effective not_formalized

VI.D79 — Epigenetic State

Pair (n, D_n) of refinement level and chromatin partition; SelfDesc evaluator reads omega-germ code through filter D_n, transcribing only genes in D_n^{-1}(+).

Book VI Part 6 Ch. 35

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module:

Symbol: