Theorem CategoryTheory.Limits.parallelFamily_map_left

Modification history