OAI/Combinatorics/TreewidthL1/CobagScales.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BoundedTreewidthL1.CobagScales.pairDistance line 10
  2. lemma OAI.BoundedTreewidthL1.CobagScales.pairDistance_witness line 15
  3. lemma OAI.BoundedTreewidthL1.CobagScales.pairDistance_pair line 22
  4. def OAI.BoundedTreewidthL1.CobagScales.distanceScales line 37
  5. lemma OAI.BoundedTreewidthL1.CobagScales.score_interval line 41
  6. lemma OAI.BoundedTreewidthL1.CobagScales.mem_distanceScales line 64
  7. lemma OAI.BoundedTreewidthL1.CobagScales.distanceScales_card line 69
  8. def OAI.BoundedTreewidthL1.CobagScales.active line 74
  9. lemma OAI.BoundedTreewidthL1.CobagScales.mem_active line 77
  10. theorem OAI.BoundedTreewidthL1.CobagScales.active_card line 97
  11. theorem OAI.BoundedTreewidthL1.CobagScales.inactive_far line 111
  12. lemma OAI.BoundedTreewidthL1.CobagScales.small_scale_active line 133