OAI/GameTheory/SnakyConditional/Templates/Level29Part04.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SnakyConditional.Internal.SnakyRows010.named_envelope_595_4_head line 8
2. theorem OAI.SnakyConditional.Internal.SnakyRows010.named_envelope_595_3_head line 9
3. theorem OAI.SnakyConditional.Internal.SnakyRows010.named_envelope_595_2_head line 11
4. theorem OAI.SnakyConditional.Internal.SnakyRows010.named_envelope_595_1_head line 13
5. theorem OAI.SnakyConditional.Internal.SnakyRows010.named_envelope_595_30_last line 15
6. theorem OAI.SnakyConditional.Internal.SnakyRows010.named_envelope_595_28_last line 16
7. theorem OAI.SnakyConditional.Internal.SnakyRows010.named_envelope_595_24_last line 18
8. theorem OAI.SnakyConditional.Internal.SnakyRows010.named_envelope_595_16_last line 20
9. theorem OAI.SnakyConditional.Internal.SnakyRows010.named_envelope_595_0_head line 22
10. theorem OAI.SnakyConditional.Internal.SnakyRows010.named_envelope_595_0_last line 24
11. def OAI.SnakyConditional.childrenC_595 line 26
12. def OAI.SnakyConditional.childrenD_595 line 27
13. theorem OAI.SnakyConditional.common_sub_595 line 28
14. theorem OAI.SnakyConditional.child_required_sub_595 line 29
15. theorem OAI.SnakyConditional.Internal.SnakyRows010.containment_595_0 line 30
16. theorem OAI.SnakyConditional.Internal.SnakyRows010.containment_595_1 line 32
17. theorem OAI.SnakyConditional.Internal.SnakyRows010.containment_595_2 line 34
18. theorem OAI.SnakyConditional.Internal.SnakyRows010.containment_595_3 line 36
19. theorem OAI.SnakyConditional.Internal.SnakyRows010.containment_595_4 line 38
20. theorem OAI.SnakyConditional.Internal.SnakyRows010.containment_595_5 line 40
21. theorem OAI.SnakyConditional.Internal.SnakyRows010.containment_595_6 line 42
22. theorem OAI.SnakyConditional.child_envelope_sub_595 line 44
23. theorem OAI.SnakyConditional.pivot_mem_595 line 54
24. theorem OAI.SnakyConditional.children_work_595 line 55
25. theorem OAI.SnakyConditional.row_works_595 line 65