Def CategoryTheory.Limits.pushoutCoconeEquivBinaryCofan

Modification history