User blog comment:Denis Maksudov/Fundamental sequences for extended Veblen-function/@comment-5529393-20170304080712

3.6 and 3.8 are incorrect. Possible fixes:

3.6 (...,a+1@b)[n] = (...,a@b,1@b[n])

3.8 (...,a@b)[n] = (...,a[n]@b)

(Sorry, don't feel like LaTeXing)