OAI/Analysis/CoulombIonization/FormDomain/Forms.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombAtom.finite_partition_value line 90
  2. lemma OAI.CoulombAtom.finite_partition_gradient line 94
  3. lemma OAI.CoulombAtom.finite_partition_mass line 103
  4. lemma OAI.CoulombAtom.smoothMultiplier_gradient_integrable line 113
  5. lemma OAI.CoulombAtom.finite_partition_kinetic line 121
  6. lemma OAI.CoulombAtom.finite_partition_div_integral line 138
  7. lemma OAI.CoulombAtom.finite_partition_nuclear line 150
  8. lemma OAI.CoulombAtom.finite_partition_pair line 157
  9. def OAI.CoulombAtom.formMultiplierError line 164
  10. theorem OAI.CoulombAtom.finite_partition_energy line 168
  11. def OAI.CoulombAtom.spaceDirections line 223