Registry · Remark I.R20 established not_applicable

I.R20 — E0-E3 Literature Map

Tabular mapping of each E-transition to closest precedent, gap, and tau feature.

Book I Part 18 Ch. 73

Dependency Graph

Depends on (2)

I.D82 I.R18

Depended on by (2)

I.R21 II.R16

Lean Formalization

Module:

Symbol: