Theorem CategoryTheory.ObjectProperty.FullSubcategory.lift_comp_map

Modification history