Extension of Haar's theorem

Haar's theorem ensures a unique nontrivial regular Borel measure on a locally compact Hausdorff topological group, up to multiplication by a positive constant. In this article, we extend Haar's theorem to the case of locally compact Hausdorff strongly topological gyrogroups. We simultaneously prove the existence and uniqueness of a Haar measure on a locally compact Hausdorff strongly topological gyrogroup, using the method of Steinlage. We then find a natural relationship between Haar measures on gyrogroups and on their related groups. As an application of this result, we study some properties of a convolution-like operation on the space of Haar integrable functions defined on a locally compact Hausdorff strongly topological gyrogroup.