Theorem CategoryTheory.Limits.walkingParallelPairOpEquiv_unitIso_one

Modification history