Theorem CategoryTheory.Subgroupoid.mem_ker_iff

Modification history