OAI/Probability/GammaPassage/LocalCoordinateDomination.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.GammaFPP.coordinatePath_length_eq_distance line 8
2. lemma OAI.GammaFPP.LoopErase.steps_companion_walk_length line 19
3. lemma OAI.GammaFPP.LoopErase.erase_path_loops_length line 39
4. lemma OAI.GammaFPP.FiniteLocal.passageTime_le_coordinatePath line 62