Theorem CategoryTheory.Limits.wideCoequalizer.hom_ext

Modification history