Def CategoryTheory.Limits.binaryFanZeroRightIsLimit

Modification history