Theorem CategoryTheory.ε_inv_app_obj

Modification history