Definition 1
Tag 013U, permanent. Cite it as [Bourbaki, Tag 013U].
Lie Groups and Lie Algebras, chapter VIII, § 7. Finite dimensional modules over a split semi-simple Lie algebra
Assume that is simple. A minuscule weight of is an element of -- which satisfies the equivalent conditions (i), (ii), (iii), (iv), (v) and (vi) of Prop. 6, 7 and 8.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.