OAI/Combinatorics/ContingencyTables/Counting/CompanionTerminalParameters.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

The companion's literal terminal parameter choices

  1. def OAI.ContingencyTables.CompanionTerminalParameters.precision line 16
  2. def OAI.ContingencyTables.CompanionTerminalParameters.allowance line 18
  3. def OAI.ContingencyTables.CompanionTerminalParameters.gamma line 21
  4. def OAI.ContingencyTables.CompanionTerminalParameters.coefficient line 24
  5. lemma OAI.ContingencyTables.CompanionTerminalParameters.allowance_positive line 27
  6. lemma OAI.ContingencyTables.CompanionTerminalParameters.allowance_bits line 31
  7. lemma OAI.ContingencyTables.CompanionTerminalParameters.gamma_positive line 35
  8. lemma OAI.ContingencyTables.CompanionTerminalParameters.gamma_le_one line 42
  9. lemma OAI.ContingencyTables.CompanionTerminalParameters.near_fraction line 51
  10. lemma OAI.ContingencyTables.CompanionTerminalParameters.coefficient_positive line 60
  11. lemma OAI.ContingencyTables.CompanionTerminalParameters.terminal_scale line 66
  12. lemma OAI.ContingencyTables.CompanionTerminalParameters.reciprocal_precision line 74
  13. lemma OAI.ContingencyTables.CompanionTerminalParameters.far_fraction line 85