Definition 2
Tag 0AHL, permanent. Cite it as [Bourbaki, Tag 0AHL].
Lie Groups and Lie Algebras, chapter III, § 7. Lie groups over an ultrametric field
The mapping of Proposition 10 is called the logarithmic mapping of of and is denoted by or simply .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.