menu

Return to entry

Integral_Matrix
Polygon_Jordan_Curve
Polygon_Lemmas
Linepath_Collinearity
Polygon_Convex_Lemmas
Polygon_Splitting
Triangle_Lemmas
Unit_Geometry
Elementary_Triangle_Area
Pick

Picks_Theorem.Elementary_Triangle_Area

HTML Presentation