User blog comment:Denis Maksudov/Fundamental sequences for extended Veblen-function/@comment-28606698-20170219140705/@comment-30118230-20170224170908

I think there are easier ways to define it.