OAI/Combinatorics/ContingencyTables/Sampling/FirstPaperCompletionComparison.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Completion approximation through the fixed fibre equivalence

  1. theorem OAI.ContingencyTables.SmallGraphProfiles.finiteReferenceLaw_variation line 30
  2. theorem OAI.ContingencyTables.SmallGraphProfiles.referenceStep_variation line 39
  3. theorem OAI.ContingencyTables.SmallGraphProfiles.finiteTerminalJoint_variation line 50