Theorem CategoryTheory.Subgroupoid.le_objs

Modification history