Def CategoryTheory.Limits.walkingParallelPairOpEquiv

Modification history