OAI/Analysis/CoulombRadii/ThomasFermi/QuantumProfileDatum.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.NeutralAtom.profileRadius line 15
2. def OAI.NeutralAtom.profileDensity line 17
3. structure OAI.NeutralAtom.QuantumProfileDatum line 24
4. lemma OAI.NeutralAtom.profile_band_coverage line 42
5. theorem OAI.NeutralAtom.physical_profile_constants line 50