OAI/Analysis/CoulombRadii/RandomFields/EventTiltWavefunction.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.NeutralAtom.energy_eventRoot_identity line 16
  2. def OAI.NeutralAtom.eventTiltWavefunction line 36
  3. def OAI.NeutralAtom.eventTiltGradient line 41
  4. theorem OAI.NeutralAtom.normSquared_eventRoot line 46
  5. theorem OAI.NeutralAtom.eventTiltWavefunction_normalized line 52
  6. theorem OAI.NeutralAtom.eventTiltWavefunction_raw_density line 58
  7. theorem OAI.NeutralAtom.groundState_eventTilt line 68
  8. def OAI.NeutralAtom.observationEventEnergyConstant line 97
  9. theorem OAI.NeutralAtom.observationEventEnergyConstant_pos line 100
  10. theorem OAI.NeutralAtom.groundState_arrayEventTilt line 105
  11. theorem OAI.NeutralAtom.groundState_arrayEventTilt_singleScale line 132