Theorem CategoryTheory.Subgroupoid.mem_map_objs_iff

Modification history