Registry · Definition IV.D228 tau-effective formalized

IV.D228 — Temperature as defect gradient

The tau-temperature T_tau(C) = d delta[omega](C) / d S_def(C) is the gradient of the universal defect functional with respect to defect entropy, a derived quantity measuring the rate of defect-functional change when defect entropy varies at fixed refinement entropy.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt2

Symbol: Tau.BookIV.ManyBody.TemperatureAsDefectGradient