OAI/Analysis/CoulombRadii/ThomasFermi/TFCountTest.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.rawTFBregman_nonneg line 13
2. lemma OAI.Coulomb.raw_coulomb_nonneg line 23
3. lemma OAI.Coulomb.rawTF_gap_coulomb line 31
4. lemma OAI.Coulomb.integrable_mul_countTest line 43
5. lemma OAI.Coulomb.rawTF_count_test line 48
6. lemma OAI.Coulomb.tfDensity_test_bound line 83