Theorem CategoryTheory.ε_app_obj

Modification history