Theorem CategoryTheory.Functor.curry₃_obj_map_app_app

Modification history