OAI/Combinatorics/ContingencyTables/Counting/CompanionTransitionWidth.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Executing the exact companion transition word length

  1. def OAI.ContingencyTables.CompanionTransitionWidth.values line 13
  2. def OAI.ContingencyTables.CompanionTransitionWidth.valuesRealizer line 15
  3. lemma OAI.ContingencyTables.CompanionTransitionWidth.polynomial_values line 25
  4. def OAI.ContingencyTables.CompanionTransitionWidth.expression line 33
  5. def OAI.ContingencyTables.CompanionTransitionWidth.width line 34
  6. def OAI.ContingencyTables.CompanionTransitionWidth.widthRealizer line 35
  7. theorem OAI.ContingencyTables.CompanionTransitionWidth.polynomial_width line 37
  8. lemma OAI.ContingencyTables.CompanionTransitionWidth.width_eq line 40
  9. lemma OAI.ContingencyTables.CompanionTransitionWidth.width_pos line 43
  10. theorem OAI.ContingencyTables.CompanionTransitionWidth.width_config line 50