OAI/Probability/SKSupport/Density/FiniteDensity.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ZeroTemperatureSK.Heat.finiteDensity_first_formula line 14
2. lemma OAI.ZeroTemperatureSK.Heat.finiteDensity_first_pairing line 32
3. theorem OAI.ZeroTemperatureSK.finite_density_identity line 52
4. lemma OAI.ZeroTemperatureSK.Heat.datumScore_regular line 84
5. lemma OAI.ZeroTemperatureSK.Heat.datumScore_odd line 94
6. lemma OAI.ZeroTemperatureSK.Heat.datumScore_second line 102
7. theorem OAI.ZeroTemperatureSK.Heat.finite_density_coercivity line 111
8. theorem OAI.ZeroTemperatureSK.finite_feedback_coercivity line 173