OAI/Analysis/CoulombIonization/RadialBounds/CoreMultiplierLiftBarrier.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CoulombAtom.coreLeftLinear line 18
  2. lemma OAI.CoulombAtom.coreLeftLinear_apply line 22
  3. lemma OAI.CoulombAtom.coreLeftLinear_direction_left line 28
  4. lemma OAI.CoulombAtom.coreLeftLinear_direction_right line 35
  5. def OAI.CoulombAtom.coreLiftValue line 42
  6. lemma OAI.CoulombAtom.coreLiftValue_regular line 45
  7. lemma OAI.CoulombAtom.coreLiftValue_derivative line 48
  8. def OAI.CoulombAtom.coreLiftMultiplier line 58
  9. lemma OAI.CoulombAtom.coreSlice_coreLiftMultiplier line 81
  10. lemma OAI.CoulombAtom.SobolevVector.coreSlice_cut_mass_integrable line 97
  11. lemma OAI.CoulombAtom.SobolevVector.coreSlice_cut_energy_integrable line 103
  12. def OAI.CoulombAtom.liftCoreOrder line 114
  13. lemma OAI.CoulombAtom.liftCoreOrder_left line 118
  14. lemma OAI.CoulombAtom.liftCoreOrder_right line 122
  15. lemma OAI.CoulombAtom.liftCoreOrder_symm line 126
  16. lemma OAI.CoulombAtom.joinLists_order line 130
  17. lemma OAI.CoulombAtom.coreSlice_reindex_lift line 138
  18. lemma OAI.CoulombAtom.liftCoreOrder_perm_comp line 150
  19. lemma OAI.CoulombAtom.CoreAntisymmetric.reindex_lift line 158
  20. def OAI.CoulombAtom.repeatedCutForm line 170
  21. lemma OAI.CoulombAtom.repeatedCutForm_sobolev line 176
  22. lemma OAI.CoulombAtom.repeatedCutForm_slice line 181