Def CategoryTheory.Limits.IsColimit.pushoutCoconeEquivBinaryCofanInverse

Modification history