P
Initializing...
Composition in an internal group category is determined by the group operations · Prove2Me