Theorem CategoryTheory.Adjunction.isIso_counit_app_iff_mem_essImage

Modification history