Theorem CategoryTheory.Limits.hasWideEqualizers_of_hasLimit_parallelFamily

Modification history