Theorem CategoryTheory.Limits.eq_of_mono_coequalizer

Modification history