Theorem CategoryTheory.Subgroupoid.map_comap_le

Modification history