Theorem CategoryTheory.Under.map_obj_right

Modification history