OAI/Combinatorics/LowSpaceSubsetSum/Counting/MixerHalfLists.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Executed splitting of a stored mixer domain

  1. def OAI.LowSpaceSubsetSum.MixerHalfLists.split line 11
  2. theorem OAI.LowSpaceSubsetSum.MixerHalfLists.first_source line 14
  3. theorem OAI.LowSpaceSubsetSum.MixerHalfLists.drop_set line 21
  4. theorem OAI.LowSpaceSubsetSum.MixerHalfLists.second_source line 41
  5. def OAI.LowSpaceSubsetSum.MixerHalfLists.count line 49
  6. theorem OAI.LowSpaceSubsetSum.MixerHalfLists.count_source line 54
  7. theorem OAI.LowSpaceSubsetSum.MixerHalfLists.count_work line 59
  8. theorem OAI.LowSpaceSubsetSum.MixerHalfLists.count_scale line 77