Theorem CategoryTheory.Adjunction.isIso_unit_app_of_iso

Modification history