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