OAI/Probability/DirectionalWalk/CountWindows.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DirectionalZeroOne.countWindowLaw line 12
2. instance OAI.DirectionalZeroOne.countWindowLaw_probability line 15
3. lemma OAI.DirectionalZeroOne.countWindowLaw_atom line 21
4. lemma OAI.DirectionalZeroOne.countWindowLaw_ae line 48
5. lemma OAI.DirectionalZeroOne.countWindowLaw_info line 54
6. lemma OAI.DirectionalZeroOne.countWindowLaw_entropy line 60
7. lemma OAI.DirectionalZeroOne.convolution_ae_bounds line 69
8. lemma OAI.DirectionalZeroOne.nthCommonLaw_marked line 82
9. lemma OAI.DirectionalZeroOne.windowCommonLaw_marked line 100