OAI/Analysis/CoulombRadii/RandomFields/PhysicalPosteriorInverse.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.rawCount_mono line 14
2. theorem OAI.NeutralAtom.physical_posterior_matching_count line 24
3. theorem OAI.NeutralAtom.physical_posterior_inverse_point line 50
4. lemma OAI.NeutralAtom.mixturePacketDensity_measurable line 127
5. lemma OAI.NeutralAtom.conditionalPacketPotential_continuous line 133
6. lemma OAI.NeutralAtom.measurable_conditionalPacketPotential_joint line 144
7. lemma OAI.NeutralAtom.atomic_screened_ballCloud_submean line 163
8. lemma OAI.NeutralAtom.conditionalPacketField_submean line 183