Theorem CategoryTheory.Limits.IsLimit.lift_comp_conePointsIsoOfNatIso_inv

Modification history