Def Pregroupoid.groupoid

Modification history