OAI/Combinatorics/ContingencyTables/Machines/CellLowerTestProgram.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

The executed feasibility test with one extra lower cell bound

  1. abbrev OAI.ContingencyTables.CellLowerTestProgram.Context line 12
  2. abbrev OAI.ContingencyTables.CellLowerTestProgram.Input line 13
  3. def OAI.ContingencyTables.CellLowerTestProgram.shifted line 15
  4. def OAI.ContingencyTables.CellLowerTestProgram.rowInputRealizer line 20
  5. def OAI.ContingencyTables.CellLowerTestProgram.columnInputRealizer line 24
  6. def OAI.ContingencyTables.CellLowerTestProgram.capacityInputRealizer line 28
  7. lemma OAI.ContingencyTables.CellLowerTestProgram.polynomial_rowInput line 31
  8. lemma OAI.ContingencyTables.CellLowerTestProgram.polynomial_columnInput line 38
  9. lemma OAI.ContingencyTables.CellLowerTestProgram.polynomial_capacityInput line 45
  10. def OAI.ContingencyTables.CellLowerTestProgram.shiftedRealizer line 50
  11. lemma OAI.ContingencyTables.CellLowerTestProgram.polynomial_shifted line 59
  12. def OAI.ContingencyTables.CellLowerTestProgram.guards line 65
  13. def OAI.ContingencyTables.CellLowerTestProgram.guardsRealizer line 70
  14. lemma OAI.ContingencyTables.CellLowerTestProgram.polynomial_guards line 81
  15. def OAI.ContingencyTables.CellLowerTestProgram.test line 99
  16. def OAI.ContingencyTables.CellLowerTestProgram.testRealizer line 101
  17. lemma OAI.ContingencyTables.CellLowerTestProgram.polynomial_test line 106
  18. lemma OAI.ContingencyTables.CellLowerTestProgram.shifted_code line 111
  19. lemma OAI.ContingencyTables.CellLowerTestProgram.guards_code line 120
  20. theorem OAI.ContingencyTables.CellLowerTestProgram.test_correct line 134