Theorem CategoryTheory.isIso_unit_app_of_iso

Modification history