Def CategoryTheory.Limits.binaryCofanZeroLeft

Modification history