Example
Tag 056T, permanent. Cite it as [Bourbaki, Tag 056T].
Algebra, chapter I, § 2. Identity element; cancellable elements; invertible elements
(1) Every natural number is cancellable under addition; every natural number is cancellable under multiplication.
(2) In a lattice there can be no cancellable element under the law sup other than the identity element (least element) if it exists; similarly for inf. In particular, in the set of subsets of a set , is the only cancellable element under the law and the only cancellable element under the law .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.