User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-37485018-20191221014123/@comment-37485018-20191221161823

Is it because \(C_0(\psi_3(0))\) contains \(\psi_1(\eta)\) for \(\eta<\psi_3(0)\), but \(C_0(\psi_1(\psi_2(\psi_3(0))))\) only contains \(\psi_1(\eta)\) for \(\eta<\psi_1(\psi_2(\psi_3(0)))\)?