Registry · Definition VI.D78 tau-effective not_formalized

VI.D78 — Chromatin Partition

Distinction clopen boundary at chromatin level: G = D^{-1}(+) sqcup D^{-1}(-), euchromatin (active) vs heterochromatin (silenced); every locus in exactly one compartment.

Book VI Part 6 Ch. 35

Dependency Graph

Depended on by (3)

Lean Formalization

Module:

Symbol: