Theorem CategoryTheory.Subgroupoid.isTotallyDisconnected_iff

Modification history