The free product of topological groups being Hausdorff is Hausdorff --- a new proof

G. Samsonadze, D. Zangurashvili

The explicit description of the topology of the free product of topological groups being Hausdorff is given. In particular, it is shown that it coincides with the so-called $X_0$-t…