Def CategoryTheory.Limits.walkingSpanOpEquiv

Modification history