Def CategoryTheory.Limits.IsLimit.postcomposeInvEquiv

Modification history