Def CategoryTheory.CommAlgCat.fullyFaithfulUliftFunctor

Modification history