Def CategoryTheory.Limits.IsColimit.ofCoconeEquiv

Modification history