Theorem CategoryTheory.Subgroupoid.id_mem_of_src

Modification history