Labels Milestones
Back-7.46009 -4.98467 4.79464 facet normal -1.600403e-001 2.743690e-001 9.482135e-001 facet normal -0.0800988.
- -4.97083 7.49889 3.82299 facet normal 0.766702 -0.634275.
- Normal 0.370041 0.603871 0.705981.
- Documentation. Condition "A.Type == 'via.