Theorem CategoryTheory.Limits.parallelPairHom_app_zero

Modification history