Corollary 1

Tag 0AC8, permanent. Cite it as [Bourbaki, Tag 0AC8].

Let $s \in G$ and $sg$ be the mapping $x \mapsto sg(x)$ of $M$ into $G$ . Then

(sg)^{-1}.d(sg) = g^{-1}.dg.

This follows from Proposition 59 (i) taking $f$ to be the constant mapping $x \mapsto s$ of $M$ into $G$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.