Theorem CategoryTheory.Subgroupoid.map_le_iff_le_comap

Modification history