Def CategoryTheory.ConnectedComponents.liftFunctor

Modification history