Def CategoryTheory.Limits.IsColimit.precomposeHomEquiv

Modification history