Theorem CategoryTheory.Subgroupoid.mem_sInf

Modification history