OAI/Probability/DirectionalWalk/ReversedContacts.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalZeroOne.reversePrefix_opposedSite line 12
2. lemma OAI.DirectionalZeroOne.concatenateWords_departure line 21
3. lemma OAI.DirectionalZeroOne.opposed_positive_in_finite_bridge line 32
4. lemma OAI.DirectionalZeroOne.concatenateWords_departure_exists line 53
5. lemma OAI.DirectionalZeroOne.concatenateWords_axis_bridge line 71
6. lemma OAI.DirectionalZeroOne.wordEnd_slabs_sum line 97
7. lemma OAI.DirectionalZeroOne.opposed_negative_slabs line 104
8. lemma OAI.DirectionalZeroOne.fin_prefix_length_mono line 128
9. lemma OAI.DirectionalZeroOne.fin_prefix_length_separated line 137
10. lemma OAI.DirectionalZeroOne.axisHeight_tapeTotal line 150
11. lemma OAI.DirectionalZeroOne.reversePrefix_departure_in_opposed line 157
12. lemma OAI.DirectionalZeroOne.reversePrefix_cut_geometry line 167