Metrized theorem for locally compact connected left loops with invariant uniformity

Summary: "It is proved that a locally compact connected left loop having no small left subloops and having a right invariant uniformity relative to the left translations is a subspace of a Lie group and, consequently, is metrizable."