OAI/Combinatorics/ContingencyTables/Counting/CompanionOrderedReturn.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

The return scan in the computed paired-coordinate order

  1. abbrev OAI.ContingencyTables.CompanionOrderedReturn.Input line 14
  2. def OAI.ContingencyTables.CompanionOrderedReturn.scanInput line 16
  3. def OAI.ContingencyTables.CompanionOrderedReturn.scanInputRealizer line 18
  4. lemma OAI.ContingencyTables.CompanionOrderedReturn.polynomial_scanInput line 22
  5. def OAI.ContingencyTables.CompanionOrderedReturn.output line 27
  6. def OAI.ContingencyTables.CompanionOrderedReturn.outputRealizer line 28
  7. theorem OAI.ContingencyTables.CompanionOrderedReturn.polynomial_output line 30
  8. lemma OAI.ContingencyTables.CompanionOrderedReturn.plainTest_ordered line 39
  9. lemma OAI.ContingencyTables.CompanionOrderedReturn.firstPlainCode_ordered line 44
  10. theorem OAI.ContingencyTables.CompanionOrderedReturn.totalReturnCode_ordered line 62