Theorem CategoryTheory.Limits.hasCoequalizers_of_hasColimit_parallelPair

Modification history