OAI/Analysis/CoulombRadii/ThomasFermi/TFNegativeGap.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Coulomb.rawTFNegativeError line 13
2. lemma OAI.Coulomb.rawTFNegativeError_congr_ae line 16
3. lemma OAI.Coulomb.rawTFNegativeError_tfDensity line 26
4. lemma OAI.Coulomb.raw_localTF_gap_identity line 43
5. lemma OAI.Coulomb.raw_localTF_gap_identity_density line 61
6. lemma OAI.Coulomb.raw_localTF_refined_gap_density line 78