OAI/Analysis/CoulombIonization/Variational/CoulombTestCharge.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombAnalysis.tfLaplacian_support line 16
  2. theorem OAI.CoulombAnalysis.tfPotential_laplacian line 30
  3. def OAI.CoulombAnalysis.coulombTestCharge line 45
  4. lemma OAI.CoulombAnalysis.coulombTestCharge_continuous line 48
  5. lemma OAI.CoulombAnalysis.coulombTestCharge_compact line 51
  6. lemma OAI.CoulombAnalysis.coulombTestCharge_support line 57
  7. theorem OAI.CoulombAnalysis.tfPotential_testCharge line 64
  8. theorem OAI.CoulombAnalysis.testCharge_dirichlet_energy line 77
  9. lemma OAI.CoulombAnalysis.exists_patch_testCharge line 90
  10. theorem OAI.CoulombAnalysis.tfCoulomb_dirichlet_duality line 130
  11. theorem OAI.CoulombAnalysis.tfPatchGap_test_control line 141