OAI/Analysis/CoulombRadii/Localization/Partial.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Coulomb.PartlySupported line 13
2. def OAI.Coulomb.outIndexSet line 16
3. lemma OAI.Coulomb.position_reindex line 18
4. lemma OAI.Coulomb.PartlySupported.reindex line 23
5. lemma OAI.Coulomb.PartlySupported.mono_space line 32
6. lemma OAI.Coulomb.PartlySupported.union line 38
7. lemma OAI.Coulomb.PartlySupported.labelCut line 45
8. lemma OAI.Coulomb.labelCut_partlySupported line 57
9. lemma OAI.Coulomb.PartlySupported.coreSlice line 73
10. lemma OAI.Coulomb.PartlySupported.recorded_positions line 89
11. lemma OAI.Coulomb.appendCut_coreSupported line 116
12. lemma OAI.Coulomb.appendCut_outSupported line 134
13. theorem OAI.Coulomb.binary_append_cut_outcome line 164