Theorem CategoryTheory.Limits.hasWideCoequalizers_of_hasColimit_parallelFamily

Modification history