Def CategoryTheory.Monoidal.ComonFunctorCategoryEquivalence.functorObjObj

Modification history