OAI/Probability/FirstPassage/ContourCounts.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFPP.displacement_counts line 8

   Also declared: OAI/Probability/GammaPassage/ContourCounts.lean:11 (same declaration text).

2. theorem OAI.PlanarFPP.closed_walk_up_left_count line 17

   Also declared: OAI/Probability/GammaPassage/ContourCounts.lean:22 (same declaration text).