Theorem CategoryTheory.Limits.IsLimit.equivIsoLimit_apply

Modification history