OAI/Combinatorics/SharpRamsey/Windows/BalancedWindows.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SharpLogRamsey.ChronologicalTree.balanced_inorder line 12
  2. lemma OAI.SharpLogRamsey.ChronologicalTree.inorder_map line 26
  3. lemma OAI.SharpLogRamsey.ChronologicalTree.map_range_getD line 32
  4. def OAI.SharpLogRamsey.ChronologicalTree.liveTree line 43
  5. lemma OAI.SharpLogRamsey.ChronologicalTree.liveTree_inorder line 46
  6. lemma OAI.SharpLogRamsey.ChronologicalTree.liveTree_labels line 51
  7. lemma OAI.SharpLogRamsey.ChronologicalTree.liveTree_nodes line 55
  8. lemma OAI.SharpLogRamsey.ChronologicalTree.map_height line 58
  9. lemma OAI.SharpLogRamsey.ChronologicalTree.liveTree_height line 63
  10. lemma OAI.SharpLogRamsey.ChronologicalTree.liveTree_nodup line 68
  11. lemma OAI.SharpLogRamsey.ChronologicalTree.liveTree_separated line 73
  12. lemma OAI.SharpLogRamsey.ChronologicalTree.ordered_leftPath line 76
  13. lemma OAI.SharpLogRamsey.ChronologicalTree.ordered_rightPath line 90
  14. lemma OAI.SharpLogRamsey.ChronologicalTree.liveTree_ordered line 104
  15. lemma OAI.SharpLogRamsey.ChronologicalTree.liveTree_left line 109
  16. lemma OAI.SharpLogRamsey.ChronologicalTree.liveTree_right line 113