Def FGAlgCat.uliftFunctor

Modification history