Theorem CategoryTheory.ObjectProperty.ι_obj_lift_obj

Modification history