Theorem CategoryTheory.Subgroupoid.inclusion_refl

Modification history