Theorem CategoryTheory.Subgroupoid.id_mem_of_tgt

Modification history