12/28/2022, 01:28 PM
I want to point to this other thread where a novel possible definition for operation preceding addition is proposed by user Danteman163.
It seems to me that this idea was never been described before.
https://math.eretrandre.org/tetrationfor...32#pid9332
It seems to me that this idea was never been described before.
https://math.eretrandre.org/tetrationfor...32#pid9332
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)\)
