Theorem CategoryTheory.isIso_counit_app_iff_mem_essImage

Modification history