OAI/Combinatorics/LowSpaceSubsetSum/Representation/RepresentationPreparedFields.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

All stored fields belong to one accepted representation history

  1. structure OAI.LowSpaceSubsetSum.RepresentationPreparedFields.Agrees line 13
  2. theorem OAI.LowSpaceSubsetSum.RepresentationPreparedFields.agrees line 27