OAI/Combinatorics/ContingencyTables/Counting/CountingMachineEvents.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

From the counting experiment's real probability bound to public tapes

  1. lemma OAI.ContingencyTables.CountingMachineEvents.average_cast line 13
  2. theorem OAI.ContingencyTables.CountingMachineEvents.success line 20