OAI/Combinatorics/ContingencyTables/Sampling/OriginalBalancedJoint.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Every original table supplies its literal balanced padded joint object

  1. def OAI.ContingencyTables.SmallGraphProfiles.paddedOriginal line 18
  2. lemma OAI.ContingencyTables.SmallGraphProfiles.paddedOriginal_small_rows line 43
  3. lemma OAI.ContingencyTables.SmallGraphProfiles.paddedOriginal_small_columns line 55
  4. lemma OAI.ContingencyTables.SmallGraphProfiles.original_small_entry_le line 67
  5. def OAI.ContingencyTables.SmallGraphProfiles.paperOriginalJoint line 77
  6. lemma OAI.ContingencyTables.SmallGraphProfiles.paperOriginalJoint_projection line 93