Def CategoryTheory.functorProdFunctorEquivCounitIso

Modification history