Def CategoryTheory.Subgroupoid.asWideQuiver

Modification history