OAI/Probability/DirectionalWalk/JoinedBridges.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DirectionalZeroOne.appendTapeList line 12
2. lemma OAI.DirectionalZeroOne.listHeight_append line 15
3. lemma OAI.DirectionalZeroOne.listProduct_append line 22
4. lemma OAI.DirectionalZeroOne.tapeCylinder_append line 29
5. lemma OAI.DirectionalZeroOne.appendTapeList_cut_recover line 42
6. lemma OAI.DirectionalZeroOne.bridgeList_pair_atom line 51
7. lemma OAI.DirectionalZeroOne.measure_le_of_singleton_le line 63
8. lemma OAI.DirectionalZeroOne.bridgeListMeasure_append_le line 75
9. lemma OAI.DirectionalZeroOne.bridgeListLaw_append_le line 132
10. lemma OAI.DirectionalZeroOne.bridgeListLaw_join_raw_le line 152
11. lemma OAI.DirectionalZeroOne.product_contact_domination line 173
12. lemma OAI.DirectionalZeroOne.bridgeListLaw_reverse_pair line 195
13. lemma OAI.DirectionalZeroOne.bridgeListLaw_join_reversed_raw_le line 204
14. lemma OAI.DirectionalZeroOne.signedThreeKernel_proj12 line 224
15. lemma OAI.DirectionalZeroOne.signedThreeKernel_proj32 line 239