OAI/Combinatorics/ContingencyTables/Sampling/OuterMatrixSemantics.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Literal entries and acceptance of the original-table output program

  1. lemma OAI.ContingencyTables.ProfilePrograms.paddingTest_matrixCode line 13
  2. lemma OAI.ContingencyTables.ProfilePrograms.paddingTest_tableOutput line 24
  3. lemma OAI.ContingencyTables.ProfilePrograms.map_range_ofFn line 35
  4. lemma OAI.ContingencyTables.ProfilePrograms.outputMatrix_code line 42
  5. lemma OAI.ContingencyTables.SmallGraphProfiles.optionIndexEquiv_val line 61
  6. lemma OAI.ContingencyTables.SmallGraphProfiles.largeOption_index line 70
  7. lemma OAI.ContingencyTables.SmallGraphProfiles.outputEntry_small line 79