OAI/Combinatorics/ContingencyTables/Machines/TableIndexProgram.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Computing the position of a table in the completion enumeration

  1. def OAI.ContingencyTables.DensePrograms.tableFreeCoordinates line 13
  2. def OAI.ContingencyTables.DensePrograms.tableFreeCoordinatesRealizer line 16
  3. lemma OAI.ContingencyTables.DensePrograms.polynomial_tableFreeCoordinates line 19
  4. lemma OAI.ContingencyTables.DensePrograms.tableFreeCoordinates_code line 23
  5. def OAI.ContingencyTables.DensePrograms.tableIndexInput line 33
  6. def OAI.ContingencyTables.DensePrograms.tableIndexInputRealizer line 36
  7. lemma OAI.ContingencyTables.DensePrograms.polynomial_tableIndexInput line 40
  8. def OAI.ContingencyTables.DensePrograms.tableIndex line 47
  9. def OAI.ContingencyTables.DensePrograms.tableIndexRealizer line 49
  10. theorem OAI.ContingencyTables.DensePrograms.polynomial_tableIndex line 52
  11. theorem OAI.ContingencyTables.DensePrograms.tableIndex_actual line 55