Registry · Remark V.R349 tau-effective not_applicable

V.R349 — Boltzmann and temperature

k_B is a unit conversion factor; temperature in tau-framework is a readout of defect density, not fundamental.

Book V Part 8 Ch. 71

Lean Formalization

Module: