Registry · Remark II.R14 established not_applicable

II.R14 — E1 Preview

Identifies the E_0 to E_1 transition within the four-level enrichment ladder (E_0 plain, E_1 self-enriched, E_2 spectral forces in Book III, E_3 physics/life/metaphysics in Books IV-VII).

Book II Part 8 Ch. 44

Dependency Graph

Depends on (5)

Lean Formalization

Module:

Symbol: