Theorem CategoryTheory.Subgroupoid.inclusion_comp_embedding

Modification history