number.house
Sequences
Properties
1798718
domain:
N
Appears in sequences
Numbers of closed lambda terms of natural size n.
at n=17
A275057