Theorem CategoryTheory.Functor.partialLeftAdjointHomEquiv_map_comp

Modification history