Def FGAlgCat.fullyFaithfulUliftFunctor

Modification history