Theorem CategoryTheory.ObjectProperty.FullSubcategory.lift_comp_inclusion_eq

Modification history