OAI/Combinatorics/ContingencyTables/Rooted/RootedCorrectionSemantics.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

The executed correction equals the analysed rational correction

  1. def OAI.ContingencyTables.RootedCorrectionProgram.data line 16
  2. lemma OAI.ContingencyTables.RootedCorrectionProgram.exponentInput_data line 22
  3. lemma OAI.ContingencyTables.RootedCorrectionProgram.exponent_data line 33
  4. lemma OAI.ContingencyTables.RootedCorrectionProgram.pointInput_data line 41
  5. lemma OAI.ContingencyTables.RootedCorrectionProgram.point_data line 55
  6. lemma OAI.ContingencyTables.RootedCorrectionProgram.populationInput_data line 64
  7. lemma OAI.ContingencyTables.RootedCorrectionProgram.population_data line 76
  8. lemma OAI.ContingencyTables.RootedCorrectionProgram.phase_data line 85
  9. theorem OAI.ContingencyTables.RootedCorrectionProgram.output_data line 92