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

I am not absolutely sure about the normal form (2.2) as well as (2.7)