number.house
Sequences
Properties
7725703
domain:
N
Appears in sequences
Number of T_0-antichains on a labeled n-set.
at n=6
A059083