11/05/2026, 06:33 PM
I never corrected my post. I'm sorry. Now it should be ok.
I'd also like to update the list but idk how much it is useful to edit my original post. Maybe I should move it to the wiki and keep it updated there... :/ but I'm too busy atm.
I'd also like to update the list but idk how much it is useful to edit my original post. Maybe I should move it to the wiki and keep it updated there... :/ but I'm too busy atm.
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)\)