OAI/Analysis/CoulombIonization/RadialBounds/BarrierActualInitializationBarrier.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombBarrier.actual_initial_barrier line 21
2. lemma OAI.CoulombBarrier.IsNuclearBarrier.pullback line 80
3. theorem OAI.CoulombBarrier.original_finite_barrier_iteration line 115