Theorem CategoryTheory.Limits.parallelPair_map_left

Modification history