Theorem CategoryTheory.Subgroupoid.inclusion_trans

Modification history