Theorem CategoryTheory.isIso_counit_app_of_iso

Modification history