OK, I believe the state of the migration into the new section is around 90%.
I'll just double check the main section page-by-page. After that I'll send I'd need the help of Tommy (I'll PM him soon). I hope he can help me in case I forgot some of his threads about hyperoperations.
If someone believes I forgot to move a thread, I encourage him/her to post it here, or to send me a PM.
Double check: done 12 threads added. We are at 95% of the process, I guess.
I'll just double check the main section page-by-page. After that I'll send I'd need the help of Tommy (I'll PM him soon). I hope he can help me in case I forgot some of his threads about hyperoperations.
If someone believes I forgot to move a thread, I encourage him/her to post it here, or to send me a PM.
Double check: done 12 threads added. We are at 95% of the process, I guess.
Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)
\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)
