Globalizing locally compact local groups

Abstract

Every locally compact local group is locally isomorphic to a topological group.