theorem :: UNIFORM3:27

for TG being TopologicaladdGroup st TG is Abelian holds
left_uniformity TG = right_uniformity TG