Theorem CategoryTheory.curry₃_obj_obj_obj_map

Modification history