Theorem CategoryTheory.Limits.walkingParallelPairOp_right

Modification history