Registry · Lemma VII.L33 conjectural formalized

VII.L33 — OR5+OR6 Narrowing

Holomorphic + spectral force algebraic-analytic bridge, entailing axioms K5-K8 and Central Theorem O(τ³) ≅ A_spec(𝕃).

Book VII Part 2 Ch. 29

Dependency Graph

Depends on (1)

VII.D37

Lean Formalization

Module: TauLib.BookVII.Meta.Saturation

Symbol: Tau.BookVII.Meta.Saturation.or56_narrowing