Source: /wikibot/partial-groupoid

= Partial groupoid
{wiki=Partial_groupoid}