Metric Equational Theories. - Radu Mardare; Neil Ghani; Eigil Rischel (CoRR, 2025)