Def CategoryTheory.Limits.isColimitOfIsColimitPushoutCoconeMap

Modification history