Theorem CategoryTheory.Limits.coequalizer.isoTargetOfSelf_hom

Modification history