OAI/Probability/Ballisticity/Walk/CompactPathModulus.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.compact_path_modulus line 92
2. lemma OAI.DirectionalTransience.tight_path_modulus line 107