OAI/Analysis/CoulombRadii/Screening/ScreenRecurrence.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Coulomb.AtomicCutHistory.append_normalized line 13
2. def OAI.Coulomb.atomicRecursionA line 91
3. def OAI.Coulomb.atomicRecursionC line 96
4. lemma OAI.Coulomb.atomicRecursionC_ge_four line 98
5. lemma OAI.Coulomb.AtomicCutHistory.rawSquare_le_next_sup line 103
6. lemma OAI.Coulomb.atomicRawValues_recursion line 127
7. theorem OAI.Coulomb.atomicRawSup_recursion line 171