Def CategoryTheory.Subgroupoid.generated

Modification history