Theorem CategoryTheory.PrelaxFunctor.mkOfHomFunctors_mapFunctor

Modification history