OAI/Combinatorics/ContingencyTables/Counting/CountingActualSettings.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

The executed original-input controls are exactly the source settings

  1. lemma OAI.ContingencyTables.CountingActualSettings.precision line 24
  2. lemma OAI.ContingencyTables.CountingActualSettings.observations line 29
  3. lemma OAI.ContingencyTables.CountingActualSettings.noise line 35
  4. lemma OAI.ContingencyTables.CountingActualSettings.noise_pos line 40
  5. lemma OAI.ContingencyTables.CountingActualSettings.raw_settings line 44
  6. lemma OAI.ContingencyTables.CountingActualSettings.coefficient_pos line 53
  7. lemma OAI.ContingencyTables.CountingActualSettings.height line 55
  8. lemma OAI.ContingencyTables.CountingActualSettings.bin_width line 58