Def CategoryTheory.Limits.binaryFanZeroRight

Modification history