Theorem CategoryTheory.Limits.walkingParallelPairOp_left

Modification history