Erdős problem 497
How many antichains in are there? That is, how many families of subsets of are there such that, if is such a family and , then ?
Workspace
public preview
- #497
- None
- 0
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
Formalization
- Machine