OAI/GroupTheory/SimpleAmenable/PolygonGeometry/PlaneCornerCoordinates.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.SimpleAmenable.PlaneSectorIndex line 16
  2. def OAI.SimpleAmenable.planeDirectionSign line 17
  3. def OAI.SimpleAmenable.planeDirectionRep line 20
  4. theorem OAI.SimpleAmenable.planeDirectionRep_transverse line 24
  5. theorem OAI.SimpleAmenable.planeDirectionRep_sign line 31
  6. theorem OAI.SimpleAmenable.transverse_neg_sign_congr line 38
  7. theorem OAI.SimpleAmenable.planeCornerValue_congr_direction line 52
  8. theorem OAI.SimpleAmenable.planeCornerValue_rep line 60
  9. theorem OAI.SimpleAmenable.planeGerm_translate line 67
  10. theorem OAI.SimpleAmenable.planeCornerValue_translate line 88
  11. abbrev OAI.SimpleAmenable.PlaneCornerIndex line 94
  12. def OAI.SimpleAmenable.planeVertexPosition line 96
  13. theorem OAI.SimpleAmenable.planeVertexPosition_injective line 100
  14. theorem OAI.SimpleAmenable.planeCorner_coordinates_finite line 108
  15. def OAI.SimpleAmenable.planeCornerCoordinates line 118
  16. theorem OAI.SimpleAmenable.planeCornerCoordinates_coeff line 124
  17. theorem OAI.SimpleAmenable.planeCornerCoordinates_injective_zero line 129