Theorem CategoryTheory.curry₃_map_app_app_app

Modification history