OAI/Combinatorics/HadwigerCounterexample/PhasePreparedOutcomes.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Phase Prepared Outcomes

  1. def OAI.HadwigerCounterexample.PreparationParameters.satisfied line 17
  2. theorem OAI.HadwigerCounterexample.PreparationParameters.byTorch line 22
  3. theorem OAI.HadwigerCounterexample.PreparationParameters.byCandle line 35
  4. theorem OAI.HadwigerCounterexample.PreparationParameters.byGlitter line 54
  5. theorem OAI.HadwigerCounterexample.PreparationParameters.citable_interpose line 76
  6. theorem OAI.HadwigerCounterexample.PreparationParameters.outByMix line 97
  7. theorem OAI.HadwigerCounterexample.PreparationParameters.outByCover line 112