OAI/Combinatorics/ContingencyTables/Counting/CountingPositiveSemantics.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Original-input semantics of the positive counting adapter

  1. theorem OAI.ContingencyTables.CountingPositiveProgram.prepared_data line 15
  2. theorem OAI.ContingencyTables.CountingPositiveProgram.phaseCount_data line 27
  3. theorem OAI.ContingencyTables.CountingPositiveProgram.start_prepared line 37
  4. theorem OAI.ContingencyTables.CountingPositiveProgram.start_ofFn line 39
  5. theorem OAI.ContingencyTables.CountingPositiveProgram.start_view line 43
  6. theorem OAI.ContingencyTables.CountingPositiveProgram.output_ofFn line 68
  7. theorem OAI.ContingencyTables.CountingPositiveProgram.phases_pos line 76
  8. theorem OAI.ContingencyTables.CountingPositiveProgram.phaseWidth_covers line 88
  9. theorem OAI.ContingencyTables.CountingPositiveProgram.initialReserve_le line 122