Theorem CategoryTheory.NatIso.inv_inv_app

Modification history