User blog comment:QuasarBooster/Laver tables in Python/@comment-34422464-20181211142242/@comment-35470197-20181211144518

@QuasarBooster

> the Laver table function apparently outgrows all functions that only involve ordinals or cardinals less than the Rank-into-rank cardinal

Perdon? Could you tel me a reference on that result? I did not know it.