Theorem CategoryTheory.Limits.parallelPair_map_right

Modification history