Theorem 3
Tag 0AH5, permanent. Cite it as [Bourbaki, Tag 0AH5].
Lie Groups and Lie Algebras, chapter III, § 7. Lie groups over an ultrametric field
Let G and H be Lie groups and h a continuous morphism of L(G) into L(H).
(i) There exist an open subgroup G' of G and a Lie group morphism of G' into H such that .
(ii) Let G_1, G_2 be open subgroups of G and a morphism of G_i into H such that . Then and coincide on an open subgroup of G.
By Proposition 1, this follows from § 4, no. 1, Theorem 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.