Def CategoryTheory.Limits.IsColimit.pushoutCoconeEquivBinaryCofanFunctor

Modification history