Theorem CategoryTheory.Functor.partialLeftAdjointHomEquiv_comp

Modification history