DeBruijn's theorem

Tags: #theorem

Statement

Bn, the Boolean lattice, has a symmetric chain decomposition.

This follows from product of chains has a SCD