Def CategoryTheory.Limits.IsLimit.ofIsoLimit

Modification history