OAI/Combinatorics/HadwigerCounterexample/PreliminaryRestrictions.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Preliminary Restrictions

  1. def OAI.HadwigerCounterexample.PreparationParameters.pollen line 17
  2. theorem OAI.HadwigerCounterexample.PreparationParameters.pollen_pos line 18
  3. structure OAI.HadwigerCounterexample.PreparationParameters.dosed line 20
  4. theorem OAI.HadwigerCounterexample.PreparationParameters.pollen_price line 26
  5. theorem OAI.HadwigerCounterexample.PreparationParameters.potency line 31
  6. theorem OAI.HadwigerCounterexample.PreparationParameters.dosed.stake line 42
  7. theorem OAI.HadwigerCounterexample.PreparationParameters.epic_bounds line 62
  8. theorem OAI.HadwigerCounterexample.PreparationParameters.phaseSplit line 77
  9. theorem OAI.HadwigerCounterexample.PreparationParameters.phaseAbsent line 112