OAI/Combinatorics/ContingencyTables/Counting/CompanionRestartStageLaw.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

The computed restart stage is the literal finite-word return law

  1. def OAI.ContingencyTables.CompanionRestartStageProgram.oracleData line 17
  2. def OAI.ContingencyTables.CompanionRestartStageProgram.degree line 24
  3. def OAI.ContingencyTables.CompanionRestartStageProgram.depth line 30
  4. def OAI.ContingencyTables.CompanionRestartStageProgram.data line 36
  5. lemma OAI.ContingencyTables.CompanionRestartStageProgram.config_data line 43
  6. lemma OAI.ContingencyTables.CompanionRestartStageProgram.fixed_data line 56
  7. lemma OAI.ContingencyTables.CompanionRestartStageProgram.prepare_data line 70
  8. theorem OAI.ContingencyTables.CompanionRestartStageProgram.width_data line 86
  9. theorem OAI.ContingencyTables.CompanionRestartStageProgram.output_sameLaw line 99