OAI/Combinatorics/ContingencyTables/Sampling/SmallCoordinateSums.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Selected doubled-coordinate sums are the physical small margins

  1. def OAI.ContingencyTables.SmallGraphProfiles.selectedRow line 18
  2. def OAI.ContingencyTables.SmallGraphProfiles.selectedColumn line 21
  3. lemma OAI.ContingencyTables.SmallGraphProfiles.selected_bool_sum line 25
  4. lemma OAI.ContingencyTables.SmallGraphProfiles.cell_sum_as_matrix line 35
  5. lemma OAI.ContingencyTables.SmallGraphProfiles.selectedRow_eq line 57
  6. lemma OAI.ContingencyTables.SmallGraphProfiles.selectedColumn_eq line 78
  7. lemma OAI.ContingencyTables.SmallGraphProfiles.selectedRow_eq_smallRow line 99
  8. lemma OAI.ContingencyTables.SmallGraphProfiles.smallColumn_cast_selected line 108
  9. lemma OAI.ContingencyTables.SmallGraphProfiles.exchange_smallRow_abs line 123
  10. lemma OAI.ContingencyTables.SmallGraphProfiles.exchange_smallColumn_abs line 131