A metrization theorem for edge-end spaces of infinite graphs | Synapse