Theorem CategoryTheory.obj_ε_app

Modification history