User blog comment:Alemagno12/Making an OCF, attempt 2/@comment-5529393-20170803204913/@comment-5029411-20170803205414

The definition of 'diagonalizers of' is 'a regular cardinal which the function emulates the fixed points of'.

Also, if the function A faster than function B, then A overgrows B.