[Gyrogroups](https://en.m.wikipedia.org/wiki/Gyrovector_space) were discovered by Ungar in modelling the Einstein velocity addition rule in relativity. Have they been shown to be useful elsewhere in mathematics (or mathematical physics)?