OAI/Combinatorics/ContingencyTables/Machines/FiniteWordSlices.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Exact bounded list slices of a finite Boolean word

  1. lemma OAI.ContingencyTables.FiniteWordSlices.slice_ofFn line 11
  2. abbrev OAI.ContingencyTables.FiniteWordSlices.Fields line 21
  3. def OAI.ContingencyTables.FiniteWordSlices.split line 24
  4. lemma OAI.ContingencyTables.FiniteWordSlices.first_slice line 29
  5. lemma OAI.ContingencyTables.FiniteWordSlices.current_slice line 36
  6. lemma OAI.ContingencyTables.FiniteWordSlices.target_slice line 46
  7. lemma OAI.ContingencyTables.FiniteWordSlices.coin_slice line 56
  8. lemma OAI.ContingencyTables.FiniteWordSlices.holding_bit line 66