1 problem

Let $\uppsi_0$ be the ordinal collapsing function and let $\cond_{\top}$ denote the corresponding worm/spider collapsing operation. The first collapsing-function identity. One has…