Theorem CategoryTheory.Limits.Fork.IsLimit.homIso_natural

Modification history