OAI/Combinatorics/ContingencyTables/Sampling/ExactGateCost.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Polynomial cost before the rare branch starts

  1. def OAI.ContingencyTables.ExactGateCost.measure line 10
  2. lemma OAI.ContingencyTables.ExactGateCost.budget_polynomial line 13