OAI/Combinatorics/HadwigerCounterexample/GramCharacterQuotients.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Gram Character Quotients

  1. def OAI.HadwigerCounterexample.cpDual line 13
  2. theorem OAI.HadwigerCounterexample.cpDual_val line 17
  3. theorem OAI.HadwigerCounterexample.pair_trace line 23
  4. theorem OAI.HadwigerCounterexample.pair_transfer line 27
  5. theorem OAI.HadwigerCounterexample.proj_opposite line 33
  6. theorem OAI.HadwigerCounterexample.free_pull line 47
  7. theorem OAI.HadwigerCounterexample.factor_free line 80
  8. theorem OAI.HadwigerCounterexample.gramCharacter line 104