Def CategoryTheory.Subgroupoid.vertexSubgroup

Modification history