Linked from

The 4 pages that link to Dilworth's theorem, each with the reason it gives.

• Sperner's theoremCompared with: It characterizes antichain width through chain partitions rather than giving a Boolean-lattice rank bound.