Theorem CategoryTheory.Over.map_obj_left

Modification history