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

Thanks, Deedlit, I corrected as you proposed. And also I corrected same rules in this post where I converted rules for Veblen function to the rules for theta-function.