OAI/Analysis/CoulombIonization/Variational/CutCoreNumber.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.CoulombAtom.cutCoreNumber line 102
  2. abbrev OAI.CoulombAtom.cutOutNumber line 103
  3. def OAI.CoulombAtom.cutOrder line 105
  4. lemma OAI.CoulombAtom.cutNumbers_sum line 111
  5. lemma OAI.CoulombAtom.cutOrder_labels line 114
  6. lemma OAI.CoulombAtom.spatialProductValue_reindex line 129
  7. def OAI.CoulombAtom.orderedCutForm line 136
  8. lemma OAI.CoulombAtom.orderedCutForm_value line 142
  9. lemma OAI.CoulombAtom.orderedCutForm_sobolev line 152
  10. lemma OAI.CoulombAtom.orderedCutForm_core_antisymmetric line 158
  11. lemma OAI.CoulombAtom.orderedCutForm_mass line 168
  12. lemma OAI.CoulombAtom.orderedCutForm_energy line 174
  13. def OAI.CoulombAtom.cutCoreEnergy line 180
  14. theorem OAI.CoulombAtom.cutCoreEnergy_priced line 186
  15. theorem OAI.CoulombAtom.fock_cut_deletion line 197