Theorem CategoryTheory.Subgroupoid.galoisConnection_map_comap

Modification history