Registry · Definition VI.D81 tau-effective not_formalized

VI.D81 — Potency Restriction

Monotone relationship: as refinement level n increases, |D_n^{-1}(+)| decreases; five potency levels correspond to progressively restrictive chromatin partitions.

Book VI Part 6 Ch. 35

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module:

Symbol: