OAI/Analysis/CoulombRadii/RandomFields/ThinEnsemble.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.expectedPopulation_nonneg line 15
2. lemma OAI.Coulomb.expectedPopulation_mono line 23
3. def OAI.Coulomb.thinIMS line 34
4. lemma OAI.Coulomb.thinIMS_nonneg line 37
5. theorem OAI.Coulomb.thin_localization line 40
6. theorem OAI.Coulomb.thin_localization_history line 55
7. theorem OAI.Coulomb.thin_localization_raw_control line 84