Theorem CategoryTheory.Limits.parallelPairHom_app_one

Modification history