Extremal set theory via linear algebra! This app uses determinants to produce a partition of the power set of {1,2,...,n} into chains of subsets, with each chain containing a subset of cardinality ⌊n/2⌋. This proves Sperner's theorem. e-infinity.space/sperner-chai... 🧮