Theorem CategoryTheory.NatIso.inv_map_inv_app

Modification history