Theorem CategoryTheory.Limits.IsLimit.equivIsoLimit_symm_apply

Modification history