Documentation

EuclideanGeometry.Foundation.Construction.Polygon.GeneralPolygon

source
structure EuclidGeom.Polygon (P : Type u_1) [EuclidGeom.EuclideanPlane P] :
Type
    Instances For
      source
      structure EuclidGeom.ConvexPolygon (P : Type u_1) [EuclidGeom.EuclideanPlane P] extends EuclidGeom.Polygon :
      Type
        Instances For
          source
          structure EuclidGeom.RegularPolygon (P : Type u_1) [EuclidGeom.EuclideanPlane P] extends EuclidGeom.ConvexPolygon :
          Type
            Instances For