Theorem CategoryTheory.Under.map_obj_hom

Modification history