number.house
Sequences
Properties
185053
domain:
N
Appears in sequences
Labeled graded semiorders.
at n=7
A267196