Theorem CategoryTheory.Subgroupoid.mem_im_objs_iff

Modification history