Theorem CategoryTheory.Limits.walkingParallelPairOp_zero

Modification history