OAI/Combinatorics/HadwigerCounterexample/PrimalChannelTests.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Primal Channel Tests

  1. theorem OAI.HadwigerCounterexample.cp_rep line 13
  2. abbrev OAI.HadwigerCounterexample.CheckOne line 44
  3. abbrev OAI.HadwigerCounterexample.CheckGram line 46
  4. instance OAI.HadwigerCounterexample.cgOneFin line 48
  5. instance OAI.HadwigerCounterexample.cgFin line 53
  6. def OAI.HadwigerCounterexample.testgram line 55
  7. theorem OAI.HadwigerCounterexample.checkgram_dim line 67
  8. theorem OAI.HadwigerCounterexample.indicator_test line 85
  9. theorem OAI.HadwigerCounterexample.gram_hit line 118