Theorem mem_groupoid_of_pregroupoid

Modification history