“…Therefore, they posed the concept of strongly topological gyrogroups and showed that every feathered strongly topological gyrogroup is paracompact. A series of results on topological gyrogroups and strongly topological gyrogroups have been obtained in [3,5,6,9,10,11,12,13,15,16,36,37,38]. In particular, it was proved in [9,10] that each T 0 -strongly topological gyrogroup is completely regular, every T 0 -strongly topological gyrogroup with a countable pseudocharacter is submetrizable and each locally paracompact strongly topological gyrogroup is paracompact.…”