Def CategoryTheory.Limits.isColimitMapCoconePushoutCoconeEquiv

Modification history