feat: Thermodynamics (and some minor changes to StatisticalMechanics)#958

Draft

ichxorya wants to merge 12 commits intoleanprover-community:masterfrom

SEhumantics:master

Commits on Feb 22, 2026

feat(thermodynamics): initialize large scale changes and updates in the Thermodynamics module (with some extend to StatisticalMechanics since it depends on Thermodynamics)
ichxorya
committed

Commits on Feb 23, 2026

docs(thermodynamics): offload from lemmas/definitions docstrings to line comments
ichxorya
committed

Commits on Feb 24, 2026

Commits on Feb 25, 2026

docs(temperature): minor docstring edit
ichxorya
committed