Theorem CategoryTheory.lift_comp_preservesLimitsIso_hom

Modification history