Registry · Definition III.D58 tau-effective formalized

III.D58 — E₁ Mutual Determination Instance

Unified triple (B₁, S₁, I₁) at E₁ with NS regularity, YM gap, and Hodge addressability as three readings

Book III Part 6 Ch. 44

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIII.Arithmetic.EnrFunctor01

Symbol: e1_md_instance_check