Def CategoryTheory.Groupoid.IsTotallyDisconnected

Modification history