User blog comment:Flitri/An ordinal Collapsing up to the Least weakly Mahlo Cardinal/@comment-35470197-20190409053305/@comment-35470197-20190412040245

> min{μ|Sup{β < μ}, α[β] = x for some μ-indexed sequence α such that α[δ] < α[λ] ⇌ δ < λ}

It is not the correct description again. It is actually changed from the version which I pointed out, but it is still incorrect. Is it a typo again? Well, I guess that you are writing it without understanding the definition of cof or the right hand side. Could you explain what the right hand side precisely means?