Theorem CategoryTheory.Subgroupoid.hom.inj_on_objects

Modification history