Theorem CategoryTheory.Limits.IsLimit.hom_isIso

Modification history