Theorem CategoryTheory.Limits.parallelPair_functor_obj

Modification history