OAI/Combinatorics/ContingencyTables/Sampling/PaddedResidualSemantics.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The residual program computes the literal padded margins

  1. lemma OAI.ContingencyTables.SmallGraphProfiles.rowLargeCount_code line 16
  2. lemma OAI.ContingencyTables.SmallGraphProfiles.columnLargeCount_code line 28
  3. theorem OAI.ContingencyTables.SmallGraphProfiles.paddedRowAt_code line 40
  4. theorem OAI.ContingencyTables.SmallGraphProfiles.paddedColumnAt_code line 54