Select a result to preview
Tags: #theorem
Bn, the Boolean lattice, has a symmetric chain decomposition.
This follows from product of chains has a SCD