أرسل هذا في رسالة قصيرة: Hausdorff and Gromov Distances in Quantale−Enriched Categories