cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A367192 Number of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the left neutrality principle, i.e., I(n,y)=y for all y in L_n.

Table of values

n a(n)
1 1
2 5
3 84
4 4719
5 884884
6 553361016
7 1153471856900
8 8012241391384695
9 185424118272842096128
10 461964068878932837522210816

List of values

[1, 5, 84, 4719, 884884, 553361016, 1153471856900, 8012241391384695, 185424118272842096128, 461964068878932837522210816]