Theorem CategoryTheory.Subgroupoid.mem_sInf_arrows

Modification history