Remark 3
Tag 0DOP, permanent. Cite it as [Bourbaki, Tag 0DOP].
Algebra, chapter IX, § 10. Angles
Given two lines (resp. half-lines) of an affine plane attached to , the angle of and is defined to be, and is denoted by , the angle made by their directions in (resp. by the half-lines with origin 0 of corresponding to and ) (Chapter II, 2nd ed., App. II, No. 1 and No. 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.