OAI/Probability/FirstPassage/ConnectorProbability.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFPP.contactSign line 9
2. theorem OAI.PlanarFPP.abs_contactSign line 11
3. theorem OAI.PlanarFPP.contactSide_of_sign line 14
4. theorem OAI.PlanarFPP.trialWindow_scale_bounds line 18
5. def OAI.PlanarFPP.sourceSupportCost line 31
6. theorem OAI.PlanarFPP.exponential_source_connector_test line 36