Theorem CategoryTheory.Limits.coequalizer.hom_ext

Modification history