Labels Milestones
BackFrom abdd18d8f0f754e290e642eee419b44f1d840471 Mon Sep 17 00:00:00 2001 Subject: [PATCH 11/13] more.
- 6.171317e-001 9.983999e+000 vertex 5.358002e+000 -1.912462e+000 2.496000e+001 vertex.
- { polyhedron( points=[ [ 0,0,h0], .
From abdd18d8f0f754e290e642eee419b44f1d840471 Mon Sep 17 00:00:00 2001 Subject: [PATCH 11/13] more.