User blog comment:Fejfo/Super Fast Beaver Hierarchies and a weird OCF/@comment-1605058-20180806150910/@comment-1605058-20180806160354

The definitions are equivalent, at least for countable \(\alpha\).