OAI/Combinatorics/ContingencyTables/Sampling/SmallBoundsProgram.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

A binary program checking every stored coordinate bound

  1. def OAI.ContingencyTables.ProfilePrograms.boundedValues line 10
  2. def OAI.ContingencyTables.ProfilePrograms.boundedValuesRealizer line 12
  3. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_boundedValues line 17
  4. lemma OAI.ContingencyTables.ProfilePrograms.boundedValues_ofFn line 22
  5. theorem OAI.ContingencyTables.SmallGraphProfiles.boundedValues_views line 41