Theorem CategoryTheory.FullSubcategory.lift_comp_inclusion_eq

Modification history