OAI/Combinatorics/ContingencyTables/Sampling/ExactTablePrefix.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Finite physical prefixes indexed by feasible tables

  1. def OAI.ContingencyTables.ExactTablePrefix.code line 20
  2. lemma OAI.ContingencyTables.ExactTablePrefix.code_injective line 22
  3. def OAI.ContingencyTables.ExactTablePrefix.decode line 37
  4. lemma OAI.ContingencyTables.ExactTablePrefix.decode_code line 39
  5. lemma OAI.ContingencyTables.ExactTablePrefix.code_decode line 42
  6. def OAI.ContingencyTables.ExactTablePrefix.experiment line 51
  7. lemma OAI.ContingencyTables.ExactTablePrefix.decode_eq_iff line 54
  8. lemma OAI.ContingencyTables.ExactTablePrefix.event_mean line 62
  9. lemma OAI.ContingencyTables.ExactTablePrefix.failure_bound line 72
  10. lemma OAI.ContingencyTables.ExactTablePrefix.point_limit line 83
  11. def OAI.ContingencyTables.ExactTablePrefix.input line 100
  12. def OAI.ContingencyTables.ExactTablePrefix.output line 102
  13. lemma OAI.ContingencyTables.ExactTablePrefix.output_injective line 105
  14. theorem OAI.ContingencyTables.ExactTablePrefix.physical_prefix line 133