OAI/Analysis/CoulombIonization/Variational/SpatialProductFactor.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.spatialProduct_zero_of_factor line 131
2. lemma OAI.CoulombAtom.spatialProduct_derivative_zero_of_factor line 138
3. lemma OAI.CoulombAtom.multiplyForm_spatial_zero_of_factor line 153
4. lemma OAI.CoulombAtom.FormZeroAt.reindex line 171
5. lemma OAI.CoulombAtom.FormZeroAt.coreSlice line 177
6. lemma OAI.CoulombAtom.orderedCutForm_core_hole line 184
7. theorem OAI.CoulombAtom.cut_core_local_insertion line 203