Theorem CategoryTheory.Subgroupoid.full_objs

Modification history