Def CategoryTheory.Limits.IsColimit.precomposeInvEquiv

Modification history