Def CommAlgCat.fullyFaithfulUliftFunctor

Modification history