Def CategoryTheory.ConnectedComponents.objectProperty

Modification history