OAI/Combinatorics/ContingencyTables/Dense/DenseWalkProgram.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

A polynomial loop of binary dense transition words

  1. def OAI.ContingencyTables.DensePrograms.advance line 10
  2. def OAI.ContingencyTables.DensePrograms.advanceRealizer line 13
  3. theorem OAI.ContingencyTables.DensePrograms.polynomial_advance line 18
  4. lemma OAI.ContingencyTables.DensePrograms.advance_parameters line 24
  5. lemma OAI.ContingencyTables.DensePrograms.advance_growth line 27
  6. def OAI.ContingencyTables.DensePrograms.walkWords line 32
  7. def OAI.ContingencyTables.DensePrograms.walkWordsRealizer line 35
  8. lemma OAI.ContingencyTables.DensePrograms.fold_advance_parameters line 38
  9. lemma OAI.ContingencyTables.DensePrograms.fold_advance_sizes line 52
  10. theorem OAI.ContingencyTables.DensePrograms.polynomial_walkWords line 66