Theorem CategoryTheory.Subgroupoid.disconnect_objs

Modification history