User blog comment:Vel!/Ultracardinals/@comment-1605058-20140619213312/@comment-80.98.179.160-20180109123741

What about $$\psi_{\omega_1}$$? Is it constant at ultracardinals?