Theorem CategoryTheory.Subgroupoid.inclusion_inj_on_objects

Modification history