Structure Pregroupoid

Modification history