Theorem CategoryTheory.NatTrans.isIso_app_iff_of_iso

Modification history