OAI/Combinatorics/HadwigerCounterexample/ImageCharacterBounds.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Image Character Bounds

  1. abbrev OAI.HadwigerCounterexample.DTuple line 12
  2. abbrev OAI.HadwigerCounterexample.WTuple line 14
  3. def OAI.HadwigerCounterexample.flipEquiv line 17
  4. theorem OAI.HadwigerCounterexample.tuple_dim line 22
  5. def OAI.HadwigerCounterexample.projTuple line 29
  6. theorem OAI.HadwigerCounterexample.cap_tuple line 33
  7. theorem OAI.HadwigerCounterexample.mpair_nondeg line 70
  8. def OAI.HadwigerCounterexample.tupleB line 75
  9. theorem OAI.HadwigerCounterexample.tupleB_val line 85
  10. theorem OAI.HadwigerCounterexample.tupleB_inj line 89
  11. theorem OAI.HadwigerCounterexample.charImages line 105