Def CommAlgCat.uliftFunctor

Modification history