Theorem CategoryTheory.Limits.IsLimit.lift_comp_conePointUniqueUpToIso_inv

Modification history