Theorem CategoryTheory.Over.map_obj_hom

Modification history