Theorem CategoryTheory.Functor.partialLeftAdjointHomEquiv_map

Modification history