Def CategoryTheory.Limits.isColimitPushoutCoconeMapOfIsColimit

Modification history