OAI/Analysis/CoulombIonization/Localization/InverseNetEventsBarrier.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.originalQueryDensity_info_measurable line 20
2. lemma OAI.CoulombAtom.original_inverse_failure_info_measurable line 29
3. lemma OAI.CoulombAtom.original_inverse_height_net_union_bound line 40
4. lemma OAI.CoulombAtom.exists_inverse_band_spatial_net line 53
5. lemma OAI.CoulombAtom.divided_net_field_variation line 76
6. lemma OAI.CoulombAtom.localCellRadius_normalized line 88