OAI/Analysis/CoulombRadii/Localization/ConfigSupported.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.H1Vector.gradient_congr_ae line 60
2. def OAI.Coulomb.ConfigSupported line 74
3. lemma OAI.Coulomb.ConfigSupported.gradient line 77
4. lemma OAI.Coulomb.continuous_position line 85
5. def OAI.Coulomb.allPositions line 90
6. lemma OAI.Coulomb.isClosed_allPositions line 93
7. def OAI.Coulomb.SpatiallySupported line 101
8. lemma OAI.Coulomb.spatialSupport_gradient line 104
9. lemma OAI.Coulomb.compactSupport_slice_right line 126
10. lemma OAI.Coulomb.tensor_weak_right line 132
11. lemma OAI.Coulomb.compactSupport_slice_left line 168
12. lemma OAI.Coulomb.tensor_weak_left line 174