OAI/Probability/ContinuumTransition/BadEndpoints.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ContinuumTemperature.badEndpoints line 11
2. lemma OAI.ContinuumTemperature.badEndpoints_complement_free line 15
3. lemma OAI.ContinuumTemperature.badEndpoints_energy line 23
4. def OAI.ContinuumTemperature.idealFamily line 47
5. lemma OAI.ContinuumTemperature.idealFamily_nonneg line 50
6. lemma OAI.ContinuumTemperature.idealFamily_relabel line 53
7. theorem OAI.ContinuumTemperature.core_gibbs_bad_endpoints line 57