Theorem CategoryTheory.NatIso.isIso_inv_app

Modification history