Registry · Theorem VI.T50 tau-effective not_formalized

VI.T50 — Substrate Abstraction

Five tau-Distinction and three SelfDesc conditions are jointly necessary and sufficient for life, independent of material substrate; no condition references material predicates.

Book VI Part 6 Ch. 42

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: