Theorem CategoryTheory.Adjunction.isIso_counit_app_of_iso

Modification history