OAI/GroupTheory/SimpleAmenable/Configurations/PolygonStrandReconstruction.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SimpleAmenable.PolygonObject.representative_sub line 18
  2. theorem OAI.SimpleAmenable.PolygonObject.trajectoryShift_translationString line 22
  3. theorem OAI.SimpleAmenable.PolygonObject.increments_translationString line 33
  4. def OAI.SimpleAmenable.PolygonObject.incrementString line 42
  5. def OAI.SimpleAmenable.PolygonObject.incrementInitial line 46
  6. theorem OAI.SimpleAmenable.PolygonObject.incrementInitial_positional line 50
  7. theorem OAI.SimpleAmenable.PolygonObject.incrementString_spec line 56
  8. theorem OAI.SimpleAmenable.PolygonObject.incrementString_spec_reduced line 66
  9. theorem OAI.SimpleAmenable.PolygonObject.partialSum_increments line 82
  10. theorem OAI.SimpleAmenable.PolygonObject.trajectory_eq_of_increments line 91
  11. theorem OAI.SimpleAmenable.PolygonObject.extendLadder_positional_of_increments line 101
  12. def OAI.SimpleAmenable.PolygonObject.incrementLadderEquiv line 106