OAI/Combinatorics/HadwigerCounterexample/PairedTemplateConcentration.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Paired Template Concentration

  1. theorem OAI.HadwigerCounterexample.paired_price line 15
  2. abbrev OAI.HadwigerCounterexample.Template.Datum line 39
  3. instance OAI.HadwigerCounterexample.Template.inpFinite line 42
  4. instance OAI.HadwigerCounterexample.Template.keySlotFinite line 44
  5. instance OAI.HadwigerCounterexample.Template.datumFinite line 45
  6. theorem OAI.HadwigerCounterexample.Template.twinned line 47