Def CategoryTheory.functorProdFunctorEquiv

Modification history