OAI/Combinatorics/ContingencyTables/Sampling/ProfileTransitionSemantics.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Exact semantics of the binary outer transition

  1. lemma OAI.ContingencyTables.SmallGraphProfiles.apply_decision line 15
  2. lemma OAI.ContingencyTables.SmallGraphProfiles.completionDecision_some_formula line 22
  3. theorem OAI.ContingencyTables.SmallGraphProfiles.codeProposal_encoded line 30
  4. def OAI.ContingencyTables.SmallGraphProfiles.encodedStepInput line 51
  5. lemma OAI.ContingencyTables.SmallGraphProfiles.stepCandidate_encoded line 54
  6. lemma OAI.ContingencyTables.SmallGraphProfiles.stepTranslation_encoded line 62
  7. theorem OAI.ContingencyTables.SmallGraphProfiles.profileStep_encoded line 72