OAI/GroupTheory/SimpleAmenable/PolygonGeometry/ClippedGerms.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.SimpleAmenable.ClippedGerm line 13
  2. theorem OAI.SimpleAmenable.clippedGerm_nonempty line 25
  3. def OAI.SimpleAmenable.ClippedGerm.offset line 35
  4. theorem OAI.SimpleAmenable.ClippedGerm.model_formula line 37
  5. def OAI.SimpleAmenable.ConcurrentGeometry.coordinateGate line 80
  6. theorem OAI.SimpleAmenable.ConcurrentGeometry.coordinateGate_mem line 85
  7. theorem OAI.SimpleAmenable.InitialCoverSystem.PatchAtlas.coordinateGate_resolved line 99
  8. theorem OAI.SimpleAmenable.InitialCoverSystem.PatchAtlas.coordinateGate_control line 108
  9. def OAI.SimpleAmenable.ClippedGerm.axialCut line 127
  10. theorem OAI.SimpleAmenable.ClippedGerm.model_restrict_gate line 130