Theorem CategoryTheory.Limits.IsLimit.ofIsoLimit_lift

Modification history