Basic
📁 Source: PhysLean/Thermodynamics/IdealGas/Basic.lean
Statistics
| Metric | Count |
|---|---|
Definitionsentropy | 1 |
| 2 | |
| Total | 3 |
(root)
Definitions
| Name | Category | Theorems |
|---|---|---|
entropy 📖 | CompOp | — |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
adiabatic_relation_UaUbVaVb 📖 | — | entropy | — | — | adiabatic_relation_log |
adiabatic_relation_log 📖 | — | entropy | — | — | — |
---