OAI/Combinatorics/ContingencyTables/Rooted/LargeMarginReference.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Computed reference coordinates for the large completion rectangle

  1. def OAI.ContingencyTables.SmallGraphProfiles.optionIndexEquiv line 16
  2. lemma OAI.ContingencyTables.SmallGraphProfiles.optionIndex_marginCode line 21
  3. def OAI.ContingencyTables.SmallGraphProfiles.largeOptionEquiv line 31
  4. lemma OAI.ContingencyTables.SmallGraphProfiles.largeIndices_pos line 36
  5. lemma OAI.ContingencyTables.SmallGraphProfiles.largeOption_marginCode line 43
  6. def OAI.ContingencyTables.SmallGraphProfiles.listedRows line 49
  7. def OAI.ContingencyTables.SmallGraphProfiles.listedColumns line 55
  8. theorem OAI.ContingencyTables.SmallGraphProfiles.listedRows_code line 61
  9. theorem OAI.ContingencyTables.SmallGraphProfiles.listedColumns_code line 75