Registry · Theorem IV.T28 tau-effective formalized

IV.T28 — Schrödinger Equation

iℏ_τ ∂ψ/∂t = H_∞ ψ, where H_∞ = ι_τ² Δ_Hodge. Derived from holomorphic flow along the base τ¹ via Stone's theorem + Cayley graph analysis. A theorem, not a postulate.

Book IV Part 3 Ch. 21

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.Measurement

Symbol: Tau.BookIV.QuantumMechanics.SchrdingerEquation