Registry · Theorem IV.T31 tau-effective formalized

IV.T31 — Second Law of Thermodynamics

dS/d(α-orbit) ≥ 0: entropy is non-decreasing along the temporal direction on τ¹. Structural theorem: refinement increases accessible paths.

Book IV Part 3 Ch. 22

Dependency Graph

Depends on (2)

IV.D80 IV.D81

Depended on by (3)

IV.P31 IV.R22 IV.T32

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.SecondLawOfThermodynamics