smallest_antichain (220B)
1 # Smallest antichain 2 3 Question: in the [boolean_lattice], what is the smallest cardinality of an [antichain] that spans an [ideal] having a certain [cardinality]? 4 5 studied in [sunilchandrad2026smallest] 6 7 Up: [antichain]