OAI/GameTheory/SnakyConditional/Templates/Level29Part06.lean

GitHub source file

32 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_5_head line 11
  2. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_4_head line 12
  3. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_3_head line 14
  4. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_2_head line 16
  5. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_1_head line 18
  6. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_62_last line 20
  7. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_60_last line 21
  8. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_56_last line 23
  9. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_48_last line 25
  10. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_32_last line 27
  11. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_0_head line 29
  12. theorem OAI.SnakyConditional.Internal.SnakyRows011H.named_envelope_603_0_last line 31
  13. def OAI.SnakyConditional.childrenC_603 line 33
  14. def OAI.SnakyConditional.childrenD_603 line 34
  15. theorem OAI.SnakyConditional.common_sub_603 line 35
  16. theorem OAI.SnakyConditional.child_required_sub_603 line 36
  17. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_0 line 37
  18. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_1 line 39
  19. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_2 line 41
  20. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_3 line 43
  21. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_4 line 45
  22. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_5 line 47
  23. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_6 line 49
  24. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_7 line 51
  25. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_8 line 53
  26. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_9 line 55
  27. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_10 line 57
  28. theorem OAI.SnakyConditional.Internal.SnakyRows011H.containment_603_11 line 59
  29. theorem OAI.SnakyConditional.child_envelope_sub_603 line 61
  30. theorem OAI.SnakyConditional.pivot_mem_603 line 76
  31. theorem OAI.SnakyConditional.children_work_603 line 77
  32. theorem OAI.SnakyConditional.row_works_603 line 92