return to top
source
In this file we define the Boltzmann constant kB as a non-negative real number. This is introduced as an axiom.
kB
The Boltzmann constant.
The Boltzmann constant is non-negative.