Theorem CategoryTheory.Subgroupoid.mem_im_iff

Modification history