User blog comment:Rgetar/Veblen-like collapsing function up to Buchholz ordinal/@comment-35470197-20181128093835/@comment-32213734-20181128190038

The definition was edited.