…
..
PolygonTraits_2.tex	…
Polygon_2.tex	…
area_2.tex	…
bbox_2.tex	…
bottom_vertex_2.tex	…
bounded_side_2.tex	…
intro.tex	…
is_convex_2.tex	…
is_simple_2.tex	…
left_vertex_2.tex	…
main.tex	…
orientation_2.tex	…
oriented_side_2.tex	…
polygon_area_2.tex	…
right_vertex_2.tex	…
top_vertex_2.tex	…