Def CategoryTheory.Limits.IsColimit.mapCoconeEquiv

Modification history