Theorem CategoryTheory.Subgroupoid.disconnect_normal

Modification history