Registry · Theorem IV.T30 tau-effective formalized

IV.T30 — Energy Conservation

Total energy (holomorphic tension) is conserved under α-orbit evolution. Follows from τ-Hartogs: boundary data on L uniquely determines bulk.

Book IV Part 3 Ch. 22

Dependency Graph

Depends on (1)

IV.D76

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.EnergyConservation