OAI/Probability/ContinuumTransition/GibbsBridge.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ContinuumTemperature.gibbsEnergy_radial line 11
2. theorem OAI.ContinuumTemperature.gibbsFamily_radial line 16
3. theorem OAI.ContinuumTemperature.familyTerm_radial line 26
4. theorem OAI.ContinuumTemperature.grandIntegral_radial line 35
5. theorem OAI.ContinuumTemperature.CellLowerBound.mono line 41
6. theorem OAI.ContinuumTemperature.physical_cellLowerBound line 45
7. theorem OAI.ContinuumTemperature.masked_physical_cellLowerBound line 56