Theorem CategoryTheory.Limits.walkingParallelPairOp_one

Modification history