Assertion: metric space's diameter | /r/AtLocation | the triangle
Facets:
Source sentences:
text: The hyperbolic plane is hyperbolic: in fact the incircle of a geodesic triangle is the circle of largest diameter contained in the triangle and every geodesic triangle lies in the interior of an ideal triangle, all of which are isometric with incircles of diameter 2 log 3.