OAI/Analysis/CoulombIonization/FieldAnalysis/NeumannFermions.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CoulombNeumann.neumannLowerEnergy line 21
  2. lemma OAI.CoulombNeumann.neumann_coeff_energy_lower line 24
  3. theorem OAI.CoulombNeumann.neumann_spin_component_lower line 34
  4. theorem OAI.CoulombNeumann.neumann_fermion_cube_lower line 60
  5. lemma OAI.CoulombNeumann.neumann_mode_family_lower line 78
  6. lemma OAI.CoulombNeumann.coeff_zero_of_exchange line 98
  7. def OAI.CoulombNeumann.CellAntisymmetric line 133
  8. def OAI.CoulombNeumann.cellCount line 138
  9. def OAI.CoulombNeumann.cellLowerEnergy line 140
  10. lemma OAI.CoulombNeumann.cellCount_eq_fintype line 143
  11. lemma OAI.CoulombNeumann.cell_coeff_injective line 148
  12. lemma OAI.CoulombNeumann.cell_coeff_energy_lower line 160
  13. theorem OAI.CoulombNeumann.neumann_cell_component_lower line 184