Def CategoryTheory.Limits.binaryCofanZeroLeftIsColimit

Modification history