Registry · Definition VI.D51 tau-effective planned

VI.D51 — Cellular Distinction Predicate

Restriction of τ-distinction to immune system: MHC I/II display, CD8+/CD4+ inspection, self/non-self classification, HLA polymorphism.

Book VI Part 6 Ch. 39

Dependency Graph

Depended on by (1)

Lean Formalization

Module:

Symbol: