Theorem CategoryTheory.Limits.parallelFamily_obj_zero

Modification history