OAI/Combinatorics/ContingencyTables/Counting/CompanionTrialPadding.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The phase trial with an unused query suffix

  1. theorem OAI.ContingencyTables.FiniteObservableTransport.SameLaw.right_padding line 12
  2. lemma OAI.ContingencyTables.CompanionPhaseTrialProgram.trajectory_length_data line 37
  3. lemma OAI.ContingencyTables.CompanionPhaseTrialProgram.output_data_take line 55
  4. theorem OAI.ContingencyTables.CompanionPhaseTrialProgram.trial_padded_sameLaw line 75