Theorem CategoryTheory.Limits.parallelPair_obj_zero

Modification history