@[reducible, inline]

noncomputable abbrev SI.Thermodynamics.celsius : Temperature

Conversion between Celsius (°C) and Kelvin (K): T(°C) = T(K) - 273.15.

Equations

• SI.Thermodynamics.celsius = SI.kelvin - (27315 / 100) • SI.kelvin