Def CategoryTheory.Limits.binaryCofanZeroRightIsColimit

Modification history