Theorem CategoryTheory.Limits.walkingParallelPairOpEquiv_counitIso_zero

Modification history