OAI/Combinatorics/ContingencyTables/Sampling/FirstPaperCompletionLaws.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Actual finite-word completion laws for the implemented small chain

  1. lemma OAI.ContingencyTables.SmallGraphProfiles.dyadicError_cast line 12
  2. def OAI.ContingencyTables.SmallGraphProfiles.finiteFibreLaw line 34
  3. def OAI.ContingencyTables.SmallGraphProfiles.finiteBlockLaw line 38
  4. def OAI.ContingencyTables.SmallGraphProfiles.finiteBlockDraw line 42
  5. lemma OAI.ContingencyTables.SmallGraphProfiles.finiteBlockDraw_law line 46
  6. theorem OAI.ContingencyTables.SmallGraphProfiles.finiteFibreLaw_variation line 53
  7. theorem OAI.ContingencyTables.SmallGraphProfiles.finiteBlockLaw_variation line 65