Theorem CategoryTheory.Limits.walkingParallelPairHom_id

Modification history