06/16/2022, 10:33 PM
Honestly, I don't see the point in this nitpicking.
One could argue for going thru all the forum's posts adding universal quantifiers to every statement...
One could argue for going thru all the forum's posts adding universal quantifiers to every statement...
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)\)
