Def CategoryTheory.functorProdFunctorEquivUnitIso

Modification history