Conveniently Hölder homomorphisms are smooth in the convenient sense (Q2487354)

Main result: Suppose \(G\) and \(H\) are Lie groups in the sense of the convenient differential calculus and \(f: G \to H\) be a homomorphism. If \(f\) is \(\text{lip}^0\), then \(f\) is smooth in the convenient sense. More generally, this conclusion remains valid if \(f\) is conveniently Hölder.