Def CategoryTheory.Limits.IsLimit.ofPointIso

Modification history