Registry · Theorem VI.T28 tau-effective planned

VI.T28 — Autoimmunity as Distinction Failure

Autoimmune disease = pathological violation of at least one of 5 τ-distinction conditions; classifies failure modes by which condition is violated.

Book VI Part 6 Ch. 39

Dependency Graph

Depends on (2)

VI.D04 VI.D51

Lean Formalization

Module:

Symbol: