Def CommGroupCat.uliftFunctor

Modification history