OAI/Probability/Ballisticity/Walk/UniformFinsetKernel.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.uniformFinset_eq line 12
2. lemma OAI.DirectionalTransience.uniformFinset_map line 24
3. def OAI.DirectionalTransience.nonemptyFinsetKernel line 37
4. def OAI.DirectionalTransience.uniformFinsetKernel line 41
5. instance OAI.DirectionalTransience.uniformFinsetKernel_markov line 46
6. lemma OAI.DirectionalTransience.uniformFinsetKernel_supported line 52