OAI/Analysis/CoulombRadii/Propagation/PropagationAverageAE.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.NeutralAtom.continuous_average_ae_of_ball_bounds line 14
2. theorem OAI.NeutralAtom.WeakNuclearSubsolution.average_ae line 35
3. theorem OAI.NeutralAtom.WeakNuclearSubsolution.average_cutoffTF_ae line 49
4. theorem OAI.NeutralAtom.PropagationInvariant.average_ae line 99