OAI/Combinatorics/HadwigerCounterexample/ConditionalFlags.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Conditional Flags

  1. def OAI.HadwigerCounterexample.stained line 14
  2. theorem OAI.HadwigerCounterexample.stained_law line 16
  3. theorem OAI.HadwigerCounterexample.stain_rebuild line 21
  4. theorem OAI.HadwigerCounterexample.stain_inputs line 42
  5. def OAI.HadwigerCounterexample.colored line 50
  6. def OAI.HadwigerCounterexample.coloredP line 52
  7. def OAI.HadwigerCounterexample.flaggedW line 54
  8. theorem OAI.HadwigerCounterexample.semi_total line 57
  9. theorem OAI.HadwigerCounterexample.colored_ultra line 61
  10. theorem OAI.HadwigerCounterexample.flag_catalog line 70
  11. theorem OAI.HadwigerCounterexample.colored_budget line 84