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)

III.D57 III.T23

Depended on by (3)

III.D61 III.P24 III.T35

Lean Formalization

Module: TauLib.BookIII.Arithmetic.EnrFunctor01

Symbol: e1_md_instance_check