Theorem CategoryTheory.Adjunction.map_restrictFullyFaithful_counit_app

Modification history