Def CategoryTheory.Subgroupoid.disconnect

Modification history