number.house
Sequences
Properties
14580412
domain:
N
Appears in sequences
Number of 3-multiantichains of an n-set.
at n=9
A084870