OAI/Probability/ContinuumTransition/ActiveSupports.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ContinuumTemperature.unlift line 11
2. def OAI.ContinuumTemperature.activeLifts line 13
3. lemma OAI.ContinuumTemperature.activeLifts_subset line 18
4. lemma OAI.ContinuumTemperature.activeLifts_nonempty line 28
5. lemma OAI.ContinuumTemperature.activeLifts_closed_graph line 40
6. lemma OAI.ContinuumTemperature.meanField_subgradients line 64
7. lemma OAI.ContinuumTemperature.support_density_nonneg line 76
8. lemma OAI.ContinuumTemperature.active_density_nonneg line 84
9. lemma OAI.ContinuumTemperature.active_canonical_eq line 89