OAI/Analysis/CoulombIonization/Fermionic/CutCountDomination.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CoulombAtom.spatialCutExpectation line 18
  2. lemma OAI.CoulombAtom.spatialCutExpectation_raw line 24
  3. lemma OAI.CoulombAtom.spatialCutExpectation_le_raw line 41
  4. lemma OAI.CoulombAtom.spatialCutExpectation_outMoment line 61
  5. lemma OAI.CoulombAtom.radialCut_out_distance line 69
  6. lemma OAI.CoulombAtom.radialCut_outNumber_le_rawBall line 84
  7. def OAI.CoulombAtom.cutDeletedCount line 100
  8. lemma OAI.CoulombAtom.cutDeletedCount_nonneg line 104
  9. lemma OAI.CoulombAtom.cutDeletedCount_le line 108
  10. lemma OAI.CoulombAtom.cutDeletedCount_measurable line 114
  11. lemma OAI.CoulombAtom.radialCut_deleted_le_rawStrip line 123