Theorem CategoryTheory.Limits.walkingParallelPairOpEquiv_unitIso_zero

Modification history