Def CategoryTheory.Limits.binaryFanZeroLeftIsLimit

Modification history