OAI/Analysis/CoulombIonization/FieldAnalysis/OutMaximumSubmeanBarrier.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.core_field_square_ball_integrable line 17
2. theorem OAI.CoulombAtom.conditional_out_maximum_sq_le_ball_average line 46