Theorem CategoryTheory.ObjectProperty.ι_obj_lift_map

Modification history