Example
Tag 058K, permanent. Cite it as [Bourbaki, Tag 058K].
Algebra, chapter I, § 4. Groups and groups with operators
In a commutative group , written multiplicatively, for all (§ 2, no. 8, equation (1)); the action of on therefore defines, together with the group law, the structure of a group with operators on .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.