number.house
Sequences
Properties
549758283980
domain:
N
Appears in sequences
Number of precomplete Post functions.
at n=7
A002825