OAI/Combinatorics/ContingencyTables/Transport/ReferenceDrawBounds.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Uniform size bounds for the state-dependent dense completion call

  1. lemma OAI.ContingencyTables.SmallGraphProfiles.reference_free_dimension line 15
  2. lemma OAI.ContingencyTables.SmallGraphProfiles.reference_dimension_fourteen line 27
  3. lemma OAI.ContingencyTables.SmallGraphProfiles.reference_row_le_stateBound line 35