Theorem CategoryTheory.Limits.walkingParallelPairOpEquiv_counitIso_one

Modification history