Def CategoryTheory.Limits.binaryCofanZeroRight

Modification history