Theorem CategoryTheory.Limits.Trident.IsLimit.homIso_natural

Modification history