OAI/Analysis/CoulombRadii/Propagation/PropagationBarrierOffset.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.NeutralAtom.propagationBarrierOffset line 13
  2. lemma OAI.NeutralAtom.propagationBarrierOffset_continuous line 16
  3. lemma OAI.NeutralAtom.propagationBarrierOffset_eq line 24
  4. lemma OAI.NeutralAtom.propagationBarrier_weak line 30
  5. def OAI.NeutralAtom.propagationCoreSource line 60
  6. def OAI.NeutralAtom.propagationRHS line 61
  7. def OAI.NeutralAtom.propagationStepError line 63
  8. lemma OAI.NeutralAtom.propagationStepError_nonneg line 66
  9. lemma OAI.NeutralAtom.propagation_old_source line 71
  10. lemma OAI.NeutralAtom.propagation_physical_source line 99
  11. lemma OAI.NeutralAtom.propagation_barrier_source line 113
  12. lemma OAI.NeutralAtom.propagationRHS_eq line 121
  13. lemma OAI.NeutralAtom.normalized_cap line 134
  14. lemma OAI.NeutralAtom.normalized_barrier_lower line 138
  15. lemma OAI.NeutralAtom.normalized_near_barrier_lower line 145
  16. lemma OAI.NeutralAtom.near_active_old_field line 164
  17. lemma OAI.NeutralAtom.near_active_physical_lower line 171
  18. lemma OAI.NeutralAtom.propagation_near_old_gain line 175
  19. lemma OAI.NeutralAtom.propagation_near_physical_reaction line 191