Axiomatics of natural groups

Jakub Gismatullin informed me about an issue with the definition of natural groups, I gave here in 2022. It is easy to fix in that we only need one sided invariance assumption (something I seem to have assumed throughout the paper). In the definition however, I assumed that bi-invariance and …