OAI/Combinatorics/ContingencyTables/Counting/CountingAmplifiedSourceLaw.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Confidence amplification preserves the executed source law

  1. theorem OAI.ContingencyTables.CountingExecutedMachine.positive_sameLaw line 15
  2. theorem OAI.ContingencyTables.CountingExecutedMachine.positive_success line 38