OAI/Combinatorics/ParityLifts/Rerooting.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ParityWL.addRootTree line 15
  2. lemma OAI.ParityWL.addRoot_map_ancestor line 33
  3. lemma OAI.ParityWL.addRoot_ancestor_some line 41
  4. lemma OAI.ParityWL.addRoot_ancestor_iff line 58
  5. def OAI.ParityWL.keepRoot line 74
  6. def OAI.ParityWL.reRootBag line 76
  7. def OAI.ParityWL.reRootTop line 80
  8. lemma OAI.ParityWL.keep_top line 83
  9. lemma OAI.ParityWL.reRootTop_mem line 90
  10. lemma OAI.ParityWL.reRootTop_ancestor line 97
  11. lemma OAI.ParityWL.reRootInterval_mem line 109
  12. def OAI.ParityWL.reRootTest line 131
  13. def OAI.ParityWL.reRootMapsEquiv line 181
  14. lemma OAI.ParityWL.reRootTest_count line 201