Regularity and completeness of half-Lie groups

Martin Bauer, Philipp Harms, Peter W. Michor

Half Lie groups exist only in infinite dimensions: They are smooth manifolds and topological groups such that right translations are smooth, but left translations are merely requir…