OAI/Analysis/CoulombIonization/RadialBounds/PointInverseEventsCell.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombAtom.TailTiltState.point_inverse_events_of_cell line 17
2. theorem OAI.CoulombAtom.TailTiltState.posterior_cap_of_cell line 77
3. theorem OAI.CoulombAtom.OwnProbabilityTailTiltState.event_integral_cap_of_cell line 153
4. theorem OAI.CoulombAtom.OwnProbabilityTailTiltState.rare_cap_event_of_cell line 219