06/09/2022, 02:08 PM
(05/06/2022, 01:39 PM)MphLee Wrote: If this idea will be accepted I can help sorting the threads.
I reiterate this.
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)\)
