Theorem CategoryTheory.Subgroupoid.mem_top

Modification history