Def CategoryTheory.Limits.walkingParallelPairOp

Modification history