OAI/Combinatorics/ContingencyTables/Counting/CompanionRestartNativeLaw.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

A common native bit width for all initial plain states

  1. lemma OAI.ContingencyTables.CompanionRestartProgram.normalize_varying_law line 15
  2. def OAI.ContingencyTables.CompanionRestartProgram.sumBits line 29
  3. lemma OAI.ContingencyTables.CompanionRestartProgram.widthSum_data line 33
  4. theorem OAI.ContingencyTables.CompanionRestartProgram.output_native_sameLaw line 44