Registry · Proposition III.P26 tau-effective formalized

III.P26 — Bridgehead Proposition

Proto-codes provide necessary ingredient for E₂ emergence; non-trivial iff rank > 0

Book III Part 6 Ch. 46

Dependency Graph

Depends on (3)

III.D61 III.D62 III.P25

Depended on by (2)

III.T35 III.T40

Lean Formalization

Module: TauLib.BookIII.Arithmetic.ProtoCodes

Symbol: bridgehead_check