OAI/Combinatorics/LowSpaceSubsetSum/Storage/LeafArraysCells.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Live storage while constructing all leaf profiles

The ordered mixer arrays and completed background rows stay shared through all eight finite-set profile constructions.

  1. def OAI.LowSpaceSubsetSum.LeafArraysCells.run line 19
  2. theorem OAI.LowSpaceSubsetSum.LeafArraysCells.value line 33
  3. theorem OAI.LowSpaceSubsetSum.LeafArraysCells.cells line 46