P
Initializing...
Every strict group object in Cat is a groupoid · Prove2Me