Text this: Semi-cross product and extension theory of gyrogroups.