Theorem CategoryTheory.Limits.hasEqualizers_of_hasLimit_parallelPair

Modification history