OAI/Combinatorics/ContingencyTables/Rooted/RootedRatioSampleLaw.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The executed ratio sample has the exact analysed law

  1. lemma OAI.ContingencyTables.RootedRatioSampleLaw.expectation_equiv line 18
  2. def OAI.ContingencyTables.RootedRatioSampleLaw.sample line 25
  3. theorem OAI.ContingencyTables.RootedRatioSampleLaw.sameLaw line 31
  4. lemma OAI.ContingencyTables.RootedRatioSampleLaw.program_sample line 58