Theorem CategoryTheory.Subgroupoid.map_mono

Modification history