Theorem CategoryTheory.curry₃_obj_obj_map_app

Modification history