Theorem CategoryTheory.NatIso.isIso_of_isIso_app

Modification history