Theorem CategoryTheory.Subgroupoid.mem_disconnect_objs_iff

Modification history