number.house
Sequences
Properties
342988
domain:
N
Appears in sequences
Schoenheim bound L_1(n,8,7).
at n=23
A036835