OAI/Combinatorics/ContingencyTables/Sampling/PhysicalEdgeMargins.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Every actual small-graph edge changes each residual margin by at most two

  1. lemma OAI.ContingencyTables.SmallGraphProfiles.designated_repair_residual_margins line 18
  2. theorem OAI.ContingencyTables.SmallGraphProfiles.physical_edge_residual_margins line 39