Registry · Proposition V.P26 tau-effective formalized

V.P26 — The 180^circ inversion

The 180-degree inversion: classical Boltzmann entropy satisfies dS_class/dt >= 0 while defect entropy satisfies dS_def/dn <= 0 under the identification t <-> n (orbit depth). The two entropies have exactly opposite monotonicity.

Book V Part 3 Ch. 21

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.Inversion

Symbol: Tau.BookV.Thermodynamics.The180circInversion