Def CategoryTheory.CommAlgCat.uliftFunctor

Modification history