Theorem CategoryTheory.Subgroupoid.disconnect_le

Modification history