OAI/Combinatorics/ContingencyTables/Counting/CompanionRestartContinuation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Binding a restart law to its independent phase continuation

  1. theorem OAI.ContingencyTables.FiniteObservableTransport.joint_encoded_bind line 10
  2. def OAI.ContingencyTables.CompanionOuterPhaseProgram.configs line 36
  3. lemma OAI.ContingencyTables.CompanionOuterPhaseProgram.output_data_run line 48